Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
ACM Digital Library