Alley Stoughton

Dr. Alley Stoughton is a Research Professor in Computer Science at Boston University and Visiting Fellow at the Hariri Institute. She holds a Ph.D. from the University of Edinburgh and specializes in applying formal methods to security.

Her research develops mechanized proofs for cryptographic protocols, security properties, and universally composable security frameworks. Current projects include formal verification of SHA-3 standards and adaptive security proofs in random oracle models.

Dr. Stoughton has contributed to NSF-funded projects on composable security and served on technical program committees for security workshops. She maintains collaborations with MIT Lincoln Laboratory and Riverside Research on cryptographic verification.