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