39 citations · 86 across the 11 of their papers we have counts for
1 paper · 1 filter
Ethan Cecchetti, Andrew C. Myers, Owen Arden
Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple secur…