AUC: Accountable Universal Composability

ePrint Report: AUC: Accountable Universal Composability

Mike Graf, Ralf Küsters, Daniel Rausch

Accountability is a well-established and widely used security concept that allows for obtaining undeniable cryptographic proof of misbehavior, thereby incentivizing honest behavior. There already exist several general purpose accountability frameworks for formal game-based security analyses. Unfortunately, such game-based frameworks do not support modular security analyses, which is an important tool to handle the complexity of
modern protocols.


Universal composability (UC) models provide native support for modular analyses, including …

composability eprint report