Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
ACM Digital Library