Research Professor

Alley Stoughton is a Research Professor in the Department of Computer Science at Boston University, as well as a Visiting Fellow at BU’s Hariri Institute for Computing and Computational Science & Engineering.

She has a background in programming language semantics, having received her doctorate in computer science from the University of Edinburgh in 1987. Her current research focus is on the application of formal methods to security.

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).

Personal Webpage