@TechReport{ tr:MantelPernerSauer2014a, author = {Heiko Mantel and Matthias Perner and Jens Sauer}, title = {{Noninterference under Weak Memory Models (Progress Report)}}, institution = {TU Darmstadt}, year = 2014, month = {March}, number = {TUD-CS-2014-0062}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/Noninterference_under_Weak_Memory_Models_(Progress_Report).pdf} }