The paper "Noninterference under Weak Memory Models" by Heiko Mantel, Matthias Perner, and Jens Sauer has received the RS³ Best Paper Award 2013/2014. The paper has been published in the Proceedings of the IEEE Computer Security Foundations Symposium (CSF).