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

Export 7 results:
[ Author(Asc)] Title Type Year
Filters: 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, Hölzl, J., and Nipkow, T., “Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference”, in Proceedings of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013), 2013.
A. Popescu, Hölzl, J., and Nipkow, T., “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
A. Popescu, Hölzl, J., and Nipkow, T., “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.
A. Popescu and Lammich, P., “Bounded-Deducibility Security”, Archive of Formal Proofs, 2014.
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.