Build It, Break It, Fix It: Contesting Secure Development
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (CCS 16)
Build It Break It: Measuring and Comparing Development Security
8th Workshop on Cyber Security Experimentation and Test (CSET 15)
LMonad: Information Flow Control for Haskell Web Applications
University of Maryland, Master's Thesis 2014
4D, N = 1 Supergravity Genomics
Journal of High Energy Physics 2013 (10), 1-52
4D, N = 1 Supersymmetry Genomics (II)
Journal of High Energy Physics 2012 (6), 1-34
An Extended Detailed Investigation of First and Second Order Supersymmetries for Off-Shell N = 2 and N = 4 Supermultiplets
Symmetry 7 (2), 1080-1121
4D, N = 1 Supersymmetry Genomics (I)
Journal of High Energy Physics 2009 (12), 008