Short Paper: Towards Information Flow Reasoning about Real-World C Code

Samuel Grütter, Toby C. Murray. Short Paper: Towards Information Flow Reasoning about Real-World C Code. In Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, PLAS@CCS 2017, Dallas, TX, USA, October 30, 2017. pages 43-48, ACM, 2017. [doi]

Authors

Samuel Grütter

This author has not been identified. Look up 'Samuel Grütter' in Google

Toby C. Murray

This author has not been identified. Look up 'Toby C. Murray' in Google