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