Get started
Author

Edward Zieglar

Observed names: Zieglar, Edward, Zieglar, Edward V., Zieglar, Edward Vincent
ORCID: 0000-0001-5107-2125
Observed ORCID: 0000-0001-5107-2125
OpenAlex ID: A5067159052
Formal Methods Analysis of the Secure Remote Password Protocol
2020 · Alan T. Sherman, Erin Lanus, et al. · Lecture notes in computer science · 16
PDF
Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short
2026 · Golaszewski, Enis, Krawetz, Neal, et al. · arXiv (Cornell University) · 6
PDF
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
2024 · Duclos, Martin, Fernandez, Ivan A., et al. · arXiv (Cornell University) · 3
PDF
ModelForge: Using GenAI to Improve the Development of Security Protocols
2025 · Martin Duclos, Ivan A. Fernandez, et al. · Lecture notes in computer science · 2
PDF
Searching for Selfie in TLS 1.3 with the Cryptographic Protocol Shapes Analyzer
2021 · Prajna Bhandary, Edward Zieglar, et al. · Lecture notes in computer science · 2
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
2026 · Alan T. Sherman, Jeremy J. Romanik Romano, et al. · Network and Distributed System Security Symposium · 1
PDF
Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol
2025 · Enis Golaszewski, Edward Zieglar, et al. · Lecture notes in computer science · 1
Verifying Provenance of Digital Media: Security Analysis of C2PA and its Implementation
2026 · Golaszewski, Enis, Krawetz, Neal, et al. · Digital Repository at the University of Maryland (University of Maryland College Park)
Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short
2026 · Golaszewski, Enis, Krawetz, Neal, et al. · Digital Repository at the University of Maryland (University of Maryland College Park)
Reverse Online Guessing Attacks on PAKE Protocols
2026 · Christian, Eloise, Gadwalkar, Tejas, et al. · arXiv (Cornell University)
PDF
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
2026 · Enis Golaszewski, Alan T. Sherman, et al. · Lecture notes in computer science
PDF
Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
2025 · Sherman, Alan T., Romano, Jeremy Romanik, et al. · Maryland Shared Open Access Repository (USMAI Consortium)
PDF
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
2025 · Golaszewski, Enis, Sherman, Alan T., et al. · Maryland Shared Open Access Repository (USMAI Consortium)
Issues and approaches to generalizing two-party authentication protocols for multi-party authentication
2010 · Deepinder P. Sidhu, Edward Zieglar
Works count: 15
Citation count: 46
H-index: 3
I10-index: 2
Year
Topic
Type