Formalizing Probabilistic Noninterference.

Andrei Popescu, Johannes Hlzl, Tobias Nipkow

Browse the full CPP paper archive.