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
Publications
-
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. 2022. In IEEE 35th Computer Security Foundations Symposium (CSF 2022).
-
Semantic soundness for language interoperability.
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed. 2022. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022).
-
Solver-Aided Multi-Party Configuration.
Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, and Theophilus A. Benson. 2020. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks (HotNets ā20).