132 citations
- Massachusetts Institute of TechnologyUS4 papers
- University of LübeckDE4 papers
- University of WashingtonUS4 papers
- Assumption CollegeUS3 papers
- Lehigh UniversityUS3 papers
- University of California San DiegoUS3 papers
- University of IowaUS3 papers
- University of MichiganUS3 papers
- University of Southern MississippiUS3 papers
- Virginia TechUS3 papers
- California University of PennsylvaniaUS2 papers
- Carnegie Mellon UniversityUS2 papers
Showing 2014 · cs.CRShow all
2 papers · 2 filters
cs.CR2014
On the Simulatability Condition in Key Generation Over a Non-authenticated Public Channel
Wenwen Tu, Lifeng Lai
Simulatability condition is a fundamental concept in studying key generation over a non-authenticated public channel, in which Eve is active and can intercept, modify and falsify m…
cs.CR2014★ 2 cited
A Hybrid Analysis for Security Protocols with State
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman +1
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complet…