Jeffrey A. Vaughan, Todd D. Millstein. Secure Information Flow for Concurrent Programs under Total Store Order. In Stephen Chong, editor, 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. pages 19-29, IEEE, 2012. [doi]
Abstract is missing.