@inproceedings{Karbyshev18Noninterference,
  author = {Aleksandr Karbyshev and Kasper Svendsen and Aslan Askarov and Lars Birkedal},
  title = {Compositional {N}on-{I}nterference for {C}oncurrent {P}rograms via {S}eparation and {F}raming},
  booktitle = {Principles of Security and Trust},
  month = {April},
  year = 2018,
  publisher = {Springer},
  doi = {10.1007/978-3-319-89722-6_3},
  address = {Thessaloniki, Greece},
}