New conference publication at CSF'14

The paper "Noninterference under Weak Memory Models" by Heiko Mantel, Matthias Perner, and Jens Sauer was accepted at CSF 2014. See here for the full version of the paper.