Understanding and Enforcing Opacity

Daniel Schoepe, Andrei Sabelfeld. Understanding and Enforcing Opacity. In Cédric Fournet, Michael W. Hicks, Luca Viganò, editors, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015. pages 539-553, IEEE, 2015. [doi]

Authors

Daniel Schoepe

This author has not been identified. Look up 'Daniel Schoepe' in Google

Andrei Sabelfeld

This author has not been identified. Look up 'Andrei Sabelfeld' in Google