@inproceedings{Mantel_SS_11,
	author = "Mantel, Heiko and Sands, David and Sudbrock, Henning",
	booktitle = "IEEE Computer Security Foundation Symposium",
	isbn = "978-1-61284-644-6",
	pages = "218--232",
	publisher = "IEEE Computer Society",
	title = "{Assumptions and Guarantees for Compositional Noninterference.}",
	year = 2011
}


@article{Grewe_MS_14,
title = {A Formalisation of Assumptions and Guarantees for Compositional Noninterference},
author = {Sylvia Grewe and Heiko Mantel and Daniel Schoepe},
year = {2014},
journal = {Archive of Formal Proofs},
note = {\url{http://isa-afp.org/entries/SIFUM_Type_Systems.shtml}},
issn =     {2150-914x}
}

@inproceedings{Murray_SPR_16,
   author           = {Murray, Toby and Sison, Robert and Pierzchalski, Edward and Rizkallah, Christine},
   month            = {June},
   year             = {2016},
    title            = {Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference},
    booktitle        = {IEEE Computer Security Foundations Symposium},
    address          = {Lisbon, Portugal}
}

@inproceedings{Murray_15,
  address =       {Prague, Czech Republic},
  author =        {Murray, Toby},
  booktitle =     {ACM SIGPLAN Workshop on Programming Languages and
                   Analysis for Security},
  month =         {July},
  pages =         {43-48},
  title =         {On High-Assurance Information-Flow-Secure Programming
                   Languages},
  year =          {2015},
}