A Verified Information-Flow Architecture (bibtex)
by Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
Reference:
A Verified Information-Flow Architecture (Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach), In Journal of Computer Security (JCS); Special Issue on Verified Information Flow Security, volume 24, 2016.
Bibtex Entry:
@article{ver_ifc_jcs,
  title = {A Verified Information-Flow Architecture},
  author = {
    Arthur {Azevedo de Amorim} and
    Nathan Collins and
    Andr\'e DeHon and
    Delphine Demange and
    Catalin Hritcu and
    David Pichardie and
    Benjamin C. Pierce and
    Randy Pollack and
    Andrew Tolmach
  },
  journal = {Journal of Computer Security (JCS);
             Special Issue on Verified Information Flow Security},
  volume = {24},
  number = {6},
  pages = {689--734},
  year = {2016},
  month = dec,
  ee = {http://content.iospress.com/articles/journal-of-computer-security/jcs15784},
  url = {http://arxiv.org/abs/1509.06503},
}
Powered by bibtexbrowser