I work on cryptography, 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.