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

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Author is H. Mantel and First Letter Of Title is S  [Clear All Filters]
Conference Paper
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.