Ian Blumenfeld
Department: | Computer Science and Electrical Engineering |
Dissertation: | TBD |
Research Interests: | Formal methods analysis of cryptographic protocols |
ORCID: | 0000-0003-2080-9790 |
Enis Golaszewski
Department: | Computer Science and Electrical Engineering |
Dissertation: | Cryptographic Binding in Protocols |
Research Interests: | Protocol analysis |
ORCID: | 0000-0002-0814-9956 |
Andrew Slack
Department: | Computer Science and Electrical Engineering |
Dissertation: | TBD |
Research Interests: | Cybersecurity Education |
Christopher Vatcher
Department: | Computer Science and Electrical Engineering |
Dissertation: | Verifiable Randomness and its Applications to Random Sample Voting (Alan T. Sherman; expected May 2022) |
Research Interests: | Theoretical cryptology; applied cryptography; verifiable randomness; and random-sample elections |
Ryan Wnuk-Fink
Department: | Computer Science and Electrical Engineering |
Dissertation: | TBD |
Research Interests: | Cybersecurity |
ORCID: | 0000-0002-4964-1381 |