معرفی
Alley Stoughton is a Research Professor in the Department of Computer Science at Boston University and a Visiting Fellow at the Hariri Institute for Computing and Computational Science & Engineering. She holds a PhD in Computer Science from the University of Edinburgh (1987) and specializes in formal methods applied to security.
- Education: PhD, Computer Science, University of Edinburgh (1987)
Her research focuses on mechanizing proofs for cryptographic protocols' security, including adaptive information-theoretic security in the random oracle model, universally composable security frameworks, and formal verification of cryptographic standards like SHA3. Collaborations include work with researchers such as Ran Canetti, Assaf Kfoury, and Mayank Varia.
No recent articles or awards are explicitly listed in the provided text. Her current projects emphasize foundational security proofs and cryptographic protocol analysis.
