I’m a PhD student studying programming languages with Amal Ahmed in the Programming Research Laboratory at Northeastern University. Previously, I graduated from Brown University, where I was advised by Shriram Krishnamurthi and Tim Nelson. I’m broadly interested in language-based security with an eye toward language interoperability and cryptography.
email: ahwagner at ccs.neu.edu
Adversary Safety by Construction in a Language of Cryptographic Protocols.
Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala.
Recipient of the MIT Lincoln Laboratory 2022 Best Paper Award.
Solver-Aided Multi-Party Configuration.
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson.