Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 3 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is P and Author is A. Popescu  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
A. Popescu, Hölzl, J., and Nipkow, T., “Proving Concurrent Noninterference”, in Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012), 2012.
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
A. Popescu and Hölzl, J., “Possibilistic Noninterference”, Archive of Formal Proofs, 2012.