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