### AUC: Accountable Universal Composability

##### Abstract

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 re-use and composition of security results. So far, accountability has mainly been modeled and analyzed in UC models for the special case of MPC protocols, with a general purpose accountability framework for UC still missing. That is, a framework that among others supports arbitrary protocols, a wide range of accountability properties, handling and mixing of accountable and non-accountable security properties, and modular analysis of accountable protocols. To close this gap, we propose AUC, the first general purpose accountability framework for UC models, which supports all of the above, based on several new concepts. We exemplify AUC in three case studies not covered by existing works. In particular, AUC unifies existing UC accountability approaches within a single framework.

Available format(s)
Category
Foundations
Publication info
Published elsewhere. IEEE S&P 2023
Keywords
AccountabilityUniversal Composability iUC PKI Key Exchange Consensus Scaling
Contact author(s)
mike graf @ sec uni-stuttgart de
ralf kuesters @ sec uni-stuttgart de
daniel rausch @ sec uni-stuttgart de
History
2022-11-21: approved
See all versions
Short URL
https://ia.cr/2022/1606

CC BY

BibTeX

@misc{cryptoeprint:2022/1606,
author = {Mike Graf and Ralf Küsters and Daniel Rausch},
title = {AUC: Accountable Universal Composability},
howpublished = {Cryptology ePrint Archive, Paper 2022/1606},
year = {2022},
note = {\url{https://eprint.iacr.org/2022/1606}},
url = {https://eprint.iacr.org/2022/1606}
}

Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.