Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013

Prasad Naldurg Nikhil Swamy Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, PLAS 2013, Seattle, WA, USA, June 20, 2013 ACM PLAS 2013 978-1-4503-2144-0 http://dl.acm.org/citation.cfm?id=2465106 db/conf/pldi/plas2013.html