I am a Research 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 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).