Professor Emerita
Alley Stoughton is a Professor Emerita of the Department of Computer Science at Boston University.
She has a background in programming language semantics, having received her doctorate in computer science from the University of Edinburgh in 1987.
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).