Edward Zieglar

13 papers Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System.
CoRR
Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd
2025 J jnl
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System.
IACR Cryptol. ePrint Arch.
Alan T. Sherman, Jeremy J. Romanik Romano, Edward Zieglar, Enis Golaszewski, Jonathan D. Fuchs, William E. Byrd
2025 J jnl
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding.
CoRR
Enis Golaszewski, Alan T. Sherman, Edward Zieglar, Jonathan D. Fuchs, Sophia Hamer
2025 J jnl
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding.
IACR Cryptol. ePrint Arch.
Enis Golaszewski, Alan T. Sherman, Edward Zieglar, Jonathan D. Fuchs, Sophia Hamer
2025 J jnl
FALCON: Autonomous Cyber Threat Intelligence Mining with LLMs for IDS Rule Generation.
CoRR
Shaswata Mitra, Azim Bazarov, Martin Duclos, Sudip Mittal, Aritran Piplai, Md. Rayhanur Rahman, Edward Zieglar, Shahram Rahimi
2025 J jnl
ModelForge: Using GenAI to Improve the Development of Security Protocols.
CoRR
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar
2024 — conf
Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol.
SSR
Enis Golaszewski, Edward Zieglar, Alan T. Sherman, Kirellos Abou Elsaad, Jonathan D. Fuchs
2024 — conf
ModelForge: Using GenAI to Improve the Development of Security Protocols.
FPS (2)
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar
2024 J jnl
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions.
CoRR
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar
2021 — conf
Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer.
Protocols, Strands, and Logic
Prajna Bhandary, Edward Zieglar, Charles Nicholas
2020 — conf
Formal Methods Analysis of the Secure Remote Password Protocol.
Logic, Language, and Security
Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld
2020 J jnl
Formal Methods Analysis of the Secure Remote Password Protocol.
CoRR
Alan T. Sherman, Erin Lanus, Moses Liskov, Edward Zieglar, Richard Chang, Enis Golaszewski, Ryan Wnuk-Fink, Cyrus J. Bonyadi, Mario Yaksetig, Ian Blumenfeld
2001 — conf
Noninterference Equations for Nondeterministic Systems.
CSFW
Sylvan Pinsky, Edward Zieglar