@InProceedings{ inp:MantelPernerSauer2014a, author = {Heiko Mantel and Matthias Perner and Jens Sauer}, title = {Noninterference under Weak Memory Models}, booktitle = {Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF)}, publisher = {IEEE Computer Society}, address = {Vienna, Austria}, year = 2014, pages = {80--94}, pdf = {http://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/CSF2014-MantelPernerSauer.pdf} }