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