Academia-related

Refereed papers

POSTER: X-Ray Your DNS, A. Klein, V. Kravtsov, A. Perlmuter, H. Shulman and M. Waidner. 
ACM CCS 2017, Dallas, TX, USA, October 30-November 3, 2017 (bibtex, short paper).
 
Counting in the Dark: DNS Caches Discovery and Enumeration in the Internet, A. Klein, H. Shulman and M. Waidner, 2017.
 
Internet-Wide Study of DNS Cache Injections, A. Klein, H. Shulman and M. Waidner, 2017.
IEEE International Conference on Computer Communications (INFOCOM), Atlanta, GA, USA, May 1-4, 2017 (bibtex). Won the Best in Session award (for the Internet Security II session).
 
A Perfecto Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software,  Y. Kesten, A. Klein, A. Pnueli and G. Raanan, 1999.
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20-24, 1999 Proceedings, Volume I (paperbibtex). 
 

Program committees

Program committee member, "Security, privacy, trust and abuse" track, WWW2012, 2012.

Program committee member, WOOT'11 (5th USENIX Workshop on Offensive Technologies), 2011.

 

Contributions

Wrote the entry for "web cache poisoning attacks" in the Encyclopedia of Cryptography and Security