FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Alley Stoughton
Affiliation: Boston University
Pages in this Program
ITP on Tuesday, August 9th
ITP Program
Program
Program for Tuesday, August 9th
Slides
Slides
Bio

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