Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
ACM Digital Library