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

Export 2 results:
[ Author(Desc)] Title Type Year
Filters: Author is H. Mantel  [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 
M
H. Mantel, Sands, D., and Sudbrock, H., Assumptions and Guarantees for Compositional Noninterference, in Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011), 2011.
H. Mantel, Perner, M., and Sauer, J., Noninterference under Weak Memory Models, in Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014), 2014.