Edward Zieglar

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 4

Top Topics

Cryptographic Protocols

Security Properties

Top Venues

Protocols, Strands, and Logic

Logic, Language, and Security

Publications

Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions. CoRR (2024)
Prajna Bhandary, Edward Zieglar, Charles Nicholas
Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer. Protocols, Strands, and Logic (2021)
Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld
Formal Methods Analysis of the Secure Remote Password Protocol. Logic, Language, and Security (2020)
Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld
Formal Methods Analysis of the Secure Remote Password Protocol. CoRR (2020)
Sylvan Pinsky, Edward Zieglar
Noninterference Equations for Nondeterministic Systems. CSFW (2001)