
@article {ar:GreweMantelSchoepe2014,
	title = {A Formalization of Assumptions and Guarantees for Compositional Noninterference},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and H. Mantel and D. Schoepe}
}
@article {ar:GreweLuxMantelSauer2014b,
	title = {A Formalization of Declassification with WHAT-and-WHERE-Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@article {ar:GreweLuxMantelSauer2014a,
	title = {A Formalization of Strong Security},
	journal = {Archive of Formal Proofs},
	year = {2014},
	month = {apr},
	issn = {2150-914x},
	author = {S. Grewe and A. Lux and H. Mantel and J. Sauer}
}
@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}
}
@conference {inp:GayMantelSprick2011a,
	title = {Service Automata},
	booktitle = {Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011)},
	year = {2012},
	author = {R. Gay and H. Mantel and B. Sprick}
}
@conference {inp:MantelSandsSudbrock2011a,
	title = {{Assumptions and Guarantees for Compositional Noninterference}},
	booktitle = {Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF 2011)},
	year = {2011},
	author = {H. Mantel and D. Sands and H. Sudbrock}
}
