Concurrent Security of Cryptographic Protocols: From Foundations to Practice
Abstract
Cryptographic protocols are today used within large-scale distributed systems executed in complex network environments. This novel usage brings forth new types of concurrent attacks where an adversary performs a coordinated attack on multiple instances of protocols. Our proposed research focuses on overcoming the challenges associated with preventing concurrent attacks and proceeds in two parallel threads. The first thread of research focuses on minimizing trusted set-up assumptions required for obtaining concurrently secure protocols. The second thread focuses on developing both foundational and practical aspects of defenses against man-in-the- middle attacks, without resorting to trusted set-up.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 11, 2012
- Accession Number
- ADA564117
Entities
People
- Rafael Pass
Organizations
- Cornell University