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

Export 7 results:
Author Title Type [ Year(Asc)]
Filters: Author is H. Mantel  [Clear All Filters]
2014
S. Grewe, Mantel, H., and Schoepe, D., “A Formalization of Assumptions and Guarantees for Compositional Noninterference”, Archive of Formal Proofs, 2014.
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Declassification with WHAT-and-WHERE-Security”, Archive of Formal Proofs, 2014.
S. Grewe, Lux, A., Mantel, H., and Sauer, J., “A Formalization of Strong Security”, Archive of Formal Proofs, 2014.
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.
2012
A. Lux, Mantel, H., and Perner, M., “Scheduler-Independent Declassification”, in Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012), 2012.
R. Gay, Mantel, H., and Sprick, B., “Service Automata”, in Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011), 2012.
2011
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.