Universally Composable Key-Management - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Universally Composable Key-Management


We present the first universally composable key-management functionality, formalized in the GNUC framework by Hofheinz and Shoup. It allows the enforcement of a wide range of security policies and can be extended by diverse key usage operations with no need to repeat the security proof.We illustrate its use by proving an implementation of a security token secure with respect to arbitrary key-usage operations and explore a proof technique that allows the storage of cryptographic keys externally, a novel development in simulation-based security frameworks.
Fichier principal
Vignette du fichier
KKS-esorics13.pdf (374.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00878632 , version 1 (07-10-2015)



Steve Kremer, Robert Künnemann, Graham Steel. Universally Composable Key-Management. 18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩. ⟨hal-00878632⟩
173 View
91 Download



Gmail Facebook X LinkedIn More