Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ivan Damgård
Security Bounds for Parallel Versions of Identification Protocols
‹
1
2
Related publications
Resource Bounds for Self Stabilizing Message Driven Protocols
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tight Bounds for Parallel Randomized Load Balancing
Verification of Security Protocols
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Adaptive Protocols for Parallel Discrete Event Simulation
Journal of the Operational Research Society
Management
Probability
Marketing
Uncertainty
Simulation
Management Science
Statistics
Management Information Systems
Modeling
Strategy
Operations Research
An Extensible Platform for Evaluating Security Protocols
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
