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