Formal Methods Analysis of the Secure Remote Password Protocol. - Alan T. Sherman; Erin Lanus; Moses Liskov; Edward Zieglar; Richard Chang 001; Enis Golaszewski; Ryan Wnuk-Fink; Cyrus J. Bonyadi; Mario Yaksetig; Ian Blumenfeld (Logic, Language, and Security, 2020)

Project-based learning continues to inspire cybersecurity students: the 2018-2019 SFS research studies at UMBC. - Enis Golaszewski; Alan T. Sherman; Linda Oliva; Peter A. H. Peterson; Michael R. Bailey; Scott Bohon; Cyrus J. Bonyadi; Casey Borror; Ryan Coleman; Johannah Flenner; Elias Enamorado; Maksim Ekin Eren; et al. (Inroads, 2020)