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