Noninterference specifications for secure systems

Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

SIGOPS Oper. Syst. Rev. 54(1)
Association for Computing Machinery
New York, NY, USA
Pages 31-39
aug 2020
Note(s): non-interference, non-leakage
Papers: murray:secpriv:2013, ferraiuolo:sosp:2017, costanzo:pldi:2016

Non-interference

  • Komodo: Using verification to disentangle secure-enclave hardware from software [ferraiuolo:sosp:2017]
  • seL4: from general purpose to a proof of information flow enforcement [murray:secpriv:2013]