Fellow at Boston
University'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 Universal Composability (joint work with Ran Canetti
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).