Stephen Chong

• Bodies of Consequence
• Expressing Information Flow Properties
• Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
• Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security