@InProceedings{livshits05finding, title = "Finding Security Errors in {J}ava Programs with Static Analysis", author = "V. Benjamin Livshits and Monica S. Lam", year = "2005", month = aug, pages = "271--286", booktitle = "Proceedings of the 14th Usenix Security Symposium", }