Stem noninterfer$ (all stems)

7 papers:

ICFP-2015-BowmanA #for free

Noninterference for free (WJB, AA), pp. 101–113.

ICFP-2013-HritcuHPSVAL #testing

Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.

ICALP-v2-2010-McIverMM #composition #probability

Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.

POPL-2006-Dam #decidability #proving

Decidability and proof systems for language-based noninterference relations (MD), pp. 67–78.

SAC-2006-HuangR

Extending noninterference properties to the timed world (JH, AWR), pp. 376–383.

POPL-2005-LiZ #policy

Downgrading policies and relaxed noninterference (PL, SZ), pp. 158–170.

ICALP-2001-BoudolC #concurrent #source code

Noninterference for Concurrent Programs (GB, IC), pp. 382–395.