Paper 2022/1606

AUC: Accountable Universal Composability

Mike Graf, University of Stuttgart
Ralf Küsters, University of Stuttgart
Daniel Rausch, University of Stuttgart

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)
Publication info
Published elsewhere. IEEE S&P 2023
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
2022-11-21: approved
2022-11-17: received
See all versions
Short URL
Creative Commons Attribution


      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{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.