Login / Signup
Edward Zieglar
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 4
Top Topics
Cryptographic Protocols
Model Checking
Formal Methods
Security Properties
Top Venues
CoRR
Protocols, Strands, and Logic
Logic, Language, and Security
</>
Publications
</>