An Analysis of Universal Information Flow Based on Self-Composition

Christian Muller, Máté Kovács, Helmut Seidl. An Analysis of Universal Information Flow Based on Self-Composition. 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 380-393, IEEE, 2015. [doi]

Authors

Christian Muller

This author has not been identified. Look up 'Christian Muller' in Google

Máté Kovács

This author has not been identified. Look up 'Máté Kovács' in Google

Helmut Seidl

This author has not been identified. Look up 'Helmut Seidl' in Google