Skip to Main Content

Protocol Analysis

A Virtual Protocol Analysis Lab (PAL)

PI Alan Sherman, Edward Zieglar, Enis Golaszewski, Akshita Gorti, David Williams

Sponsors: DoD

Projects:
  • Learning Modules for Protocol Analysis Using CPSA

    Alan Sherman, Enis Golaszewski, Edward Zieglar, Akshita Gorti

 

Formal-Methods Analysis of Cryptographic Protocols

Alan Sherman, Edward Zieglar, Enis Golaszewski, Sasha Arsenuk

Publications: SRP

Projects:
  • Secure Remote Protocol (SRP)
  • OPAQUE
  • Post-Quantum Pake Protocols

 

How Protocols Fail

Alan Sherman, Edward Zieglar, Enis Golaszewski, Akshita Gorti, David Williams, Ian Blumenfeld

 

MeetingMayhem: A Network Adversary Game

Alan Sherman, Marc Olano, Edward Zieglar, Linda Oliva, Akriti Anand, Enis Golaszewski, Sudha Snigdha Kosuri, Julie Nau, Ryan Wnuk-Fink

CDL talk