[Resource Topic] 2012/189: Universally Composable Key-Management

Welcome to the resource topic for 2012/189

Universally Composable Key-Management

Authors: Steve Kremer, Robert Künnemann, Graham Steel


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.

ePrint: https://eprint.iacr.org/2012/189

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .