%0 Conference Paper %F Oral %T How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment %+ Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) %+ University of Surrey (UNIS) %+ Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) %+ XLIM (XLIM) %A Blazy, Olivier %A Boureanu, Ioana %A Lafourcade, Pascal %A Onete, Cristina %A Robert, Léo %< avec comité de lecture %B Usenix Security Symposium %C Anaheim, United States %8 2023-08-09 %D 2023 %Z Computer Science [cs]/Cryptography and Security [cs.CR]Conference papers %X 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. %G English %2 https://hal.science/hal-03770735/document %2 https://hal.science/hal-03770735/file/main.pdf %L hal-03770735 %U https://hal.science/hal-03770735 %~ UNILIM %~ X %~ PRES_CLERMONT %~ CNRS %~ LIX %~ XLIM %~ X-LIX %~ X-DEP %~ X-DEP-INFO %~ LIMOS %~ IP_PARIS %~ IP_PARIS_COPIE %~ CLERMONT-AUVERGNE-INP %~ TEST3-HALCNRS