Professor in the Department of
Computer Science at Boston
University, as well as
Fellow at BU's Hariri Institute
for Computing and Computational Science & Engineering.
I am a member of
Computer-Aided Cryptography Group.
Current projects include:
- Mechanizing the proof of adaptive, information-theoretic security
of cryptographic protocols in the random oracle model (joint work
with Mayank Varia);
- Mechanizing Universally Composable Security (joint work with Ran
Canetti, Assaf Kfoury and Mayank Varia);
- A formalization in EasyCrypt of the indifferentiability result for
the SHA3 Secure Hash Algorithm standard (joint work with Cécile
Baritel-Ruet, Gilles Barthe, François Dupressoir, Benjamin Grégoire
and Pierre-Yves Strub).