Edward Zieglar

According to our database, Edward Zieglar authored at least 10 papers between 2001 and 2026.

Collaborative distances:

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

2026

Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short.

Enis Golaszewski, Neal Krawetz, Alan T. Sherman, Edward Zieglar, Sai K. Matukumalli, Roberto Yus, Carson L. Kegley, Michael Barthel, William Bowman, Bharg Barot, Kaur Kullman

CoRR, April, 2026

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System.

Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

2025

FALCON: Autonomous Cyber Threat Intelligence Mining with LLMs for IDS Rule Generation.

Shaswata Mitra, Azim Bazarov, Martin Duclos, Sudip Mittal, Aritran Piplai, Md. Rayhanur Rahman, Edward Zieglar, Shahram Rahimi

CoRR, August, 2025

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding.

Enis Golaszewski, Alan T. Sherman, Edward Zieglar, Jonathan D. Fuchs, Sophia Hamer

Proceedings of the Security Standardisation Research - 10th International Conference, 2025

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