The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol.
Joël AlwenSandro CorettiYevgeniy DodisPublished in: EUROCRYPT (1) (2019)
Keyphrases
- security protocols
- cryptographic protocols
- authentication protocol
- key agreement protocol
- security properties
- security model
- ban logic
- formal proof
- key exchange protocol
- communication protocols
- security analysis
- lightweight
- rfid systems
- signal processing
- formal analysis
- information security
- electronic voting
- provably secure
- mobile payment
- protocol specification
- key distribution
- communication protocol
- secure multiparty computation
- mutual authentication
- security policies
- statistical databases
- virtual private network
- security services
- security issues
- homomorphic encryption
- messages exchanged
- intrusion detection
- trusted third party
- frequency domain
- diffie hellman
- denial of service attacks
- security requirements
- group communication
- network layer
- theorem proving
- physical layer
- key agreement
- network security
- trust negotiation
- standard model
- cryptographic algorithms
- secure communication
- secure routing
- medium access control
- blind signature
- privacy preserving
- smart card
- security problems
- theorem prover
- decision procedures
- key management
- encryption scheme
- public key