Joseph Jaeger

Research: I work on cryptography, which lies at the intersection of computer security and theoretical computer science. Commonly my research aims to apply the proof-based techniques of theory to better understand or improve the security of real-world protocols. This includes extrapolating formal models to capture novel threats, developing new tools to give precise security analyses within these models, and designing new protocols.

Short bio: Before coming to Georgia Tech, I was a postdoctoral scholar with Stefano Tessaro at the University of Washington. I obtained my PhD in Computer Science at the University of California, San Diego under the guidance of Mihir Bellare. I earned a bachelor's in Computer Science and Mathematics at Rutgers University where David Cash introduced me to the fascinating worlds of cryptography and academic research.

Students: I have the pleasure of working with these great PhD students.

• Kaishuo Cheng
• Akshaya Kumar
• Deep Inder Mohan
• Roy Stracovsky

Other Links:

• Google Scholar
• DBLP
• ORCID