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

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is F and Author is J. Hölzl  [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 
F
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.