Oblivious Program Execution and Path-Sensitive Non-interference

Jérémy Planul, John C. Mitchell. Oblivious Program Execution and Path-Sensitive Non-interference. In 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, LA, USA, June 26-28, 2013. pages 66-80, IEEE, 2013. [doi]

Authors

Jérémy Planul

This author has not been identified. Look up 'Jérémy Planul' in Google

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google