
@conference {inp:MantelPernerSauer2014a,
	title = {Noninterference under Weak Memory Models},
	booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF 2014)},
	year = {2014},
	note = {To appear.},
	author = {H. Mantel and M. Perner and J. Sauer}
}
@conference {inp:LuxMantelPerner2012a,
	title = {Scheduler-Independent Declassification},
	booktitle = {Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012)},
	year = {2012},
	author = {A. Lux and H. Mantel and M. Perner}
}
