Skip to Main Content

Fall 2019

Reasoning About Time in a Crypto Protocol Analysis Tool

Dr. Catherine Meadows, Naval Research Laboratory

Weaponizing Information: Its Effects and How to Counter It

Dr. Richard Forno, University of Maryland Baltimore County

Analysis of the Secure Remote Password (SRP) Protocol Using CPSA

Erin Lanus (joint work with Alan Sherman, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus Bonyadi, Mario Costa, Moses Liskov, and Edward Zieglar), University of Maryland Baltimore County

Informal Discussion of the 2020 SFS Research Study Problem

Damian Doyle, University of Maryland Baltimore County

Operational Considerations of Authoritative DNS over TLS (ADoT)

Karl Henderson, Verisign Labs