Noninterference Equations for Nondeterministic Systems. - Sylvan Pinsky; Edward Zieglar (CSFW, 2001)

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)

Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer. - Prajna Bhandary; Edward Zieglar; Charles Nicholas (Protocols, Strands, and Logic, 2021)

ModelForge: Using GenAI to Improve the Development of Security Protocols. - Martin Duclos; Ivan A. Fernandez; Kaneesha Moore; Sudip Mittal; Edward Zieglar (FPS (2), 2024)

Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol. - Enis Golaszewski; Edward Zieglar; Alan T. Sherman; Kirellos Abou Elsaad; Jonathan D. Fuchs (SSR, 2024)

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions. - Martin Duclos; Ivan A. Fernandez; Kaneesha Moore; Sudip Mittal; Edward Zieglar (CoRR, 2024)