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

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is J. Hölzl and First Letter Of Title is P  [Clear All Filters]
2014
A. Popescu and Hölzl, J., “Probabilistic Noninterference”, Archive of Formal Proofs, 2014.
2012
A. Popescu and Hölzl, J., “Possibilistic Noninterference”, Archive of Formal Proofs, 2012.
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.