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

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is H  [Clear All Filters]
2015
R. Küsters, Truderung, T., Beckert, B., Bruns, D., Kirsten, M., and Mohr, M., “A Hybrid Approach for Proving Noninterference of Java Programs”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.
A. Askarov, Chong, S., and Mantel, H., “Hybrid Monitors for Concurrent Noninterference”, in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), 2015.
2013
R. Küsters, Truderung, T., Beckert, B., Bruns, D., Graf, J., and Scheben, C., “A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs”, in Grande Region Security and Reliability Day 2013, 2013.