@InProceedings{	  mantel.perner.ea:noninterference,
  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		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/2014-CSF-MantelPernerSauer-.pdf}
}