Publications

2006
Klein, Amit . 2006. Domain Contamination. . Publisher's Version
Linhart, Chaim et al. 2006. HTTP request smuggling. Computer Security Journal 22: 13.
1999
Klein, Amit et al. 1999. A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. In FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, eds. Jeannette M Wing, Woodcock, Jim , and Davies, Jim . Springer, p. 173–194. . Publisher's Version