Non leakage

[Google Scholar]

Notes: non-interference, information flow, hyperproperty

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]
Noninterference specifications for secure systems [nelson:osr:2020]

The opinions expressed are my own views and not my employer’s.