Edward Zieglar

According to our database, Edward Zieglar authored at least 6 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Proceedings of the Security Standardisation Research - 9th International Conference, 2024

ModelForge: Using GenAI to Improve the Development of Security Protocols.

Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar

Proceedings of the Foundations and Practice of Security - 17th International Symposium, 2024

2021

Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer.

Prajna Bhandary, Edward Zieglar, Charles Nicholas

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Formal Methods Analysis of the Secure Remote Password Protocol.

Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld

Proceedings of the Logic, 2020

2001

Noninterference Equations for Nondeterministic Systems.

Sylvan Pinsky, Edward Zieglar

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001