Edward Zieglar

According to our database, Edward Zieglar authored at least 4 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

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