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.
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.