Work

I am a Research Professor in the Department of Computer Science at Boston University.

I am a contributor to the EasyCrypt proof assistant.

Current projects include:

• Mechanizing Universally Composable Security (joint work with Ran Canetti, Megan Chen, Tomislav Petrovic and Mayank Varia). See github.com/easyuc/EasyUC.
• Formalizing algorithmic lower and upper bounds using the EasyCrypt proof assistant (joint work with Mark Bun, Carol Chen, Marco Gaboardi and Weihao Qu). See github.com/alleystoughton/AlgorithmicBounds.
• Mechanizing the proof of adaptive, information-theoretic security of cryptographic protocols in the random oracle model (joint work with Mayank Varia). See github.com/alleystoughton/PCR.