Information-Flow Preservation in Compiler Optimisations

Frédéric Besson, Alexandre Dang, Thomas P. Jensen. Information-Flow Preservation in Compiler Optimisations. In 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019. pages 230-242, IEEE, 2019. [doi]

Authors

Frédéric Besson

This author has not been identified. Look up 'Frédéric Besson' in Google

Alexandre Dang

This author has not been identified. Look up 'Alexandre Dang' in Google

Thomas P. Jensen

This author has not been identified. Look up 'Thomas P. Jensen' in Google