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)

Formalized High Level Synthesis with Applications to Cryptographic Hardware. - William L. Harrison; Ian Blumenfeld; Eric Bond; Chris Hathhorn; Paul Li; May Torrence; Jared Ziegler (NFM, 2023)