Skip to Main content Skip to Navigation
Conference papers

How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment

Abstract : Post-Compromise Security (PCS) is a property of secure channel establishment schemes, which limits the security breach of an adversary that has compromised one of the end point to a certain number of messages, after which the channel heals. An attractive property, especially in view of Snowden's revelation of mass-surveillance, PCS was pioneered by the Signal messaging protocol, and is present in OTR. In this paper, we introduce a framework for quantifying and comparing PCS security, with respect to a broad taxonomy of adversaries. The generality and flexibility of our approach allows us to model the healing speed of a broad class of protocols, including Signal, but also an identity-based messaging protocol named SAID, and even a composition of 5G handover protocols.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03770735
Contributor : Léo Robert Connect in order to contact the contributor
Submitted on : Tuesday, September 6, 2022 - 4:53:53 PM
Last modification on : Thursday, September 8, 2022 - 3:53:32 AM

File

main.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-03770735, version 1

Citation

Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert. How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment. Usenix Security Symposium, Aug 2023, Anaheim, United States. ⟨hal-03770735⟩

Share

Metrics

Record views

899

Files downloads

7740