Alley is a research professor in the Department of Computer Science at Boston University. Her main research focus is on computer-aided cryptography and programming language-based security. She is one of the contributors to the EasyCrypt proof assistant. alleystoughton.us