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