Accountability in a Permissioned Blockchain: Formal Analysis of Hyperledger Fabric. - Ralf Küsters; Daniel Rausch 001; Mike Simon (IACR Cryptol. ePrint Arch., 2020)

A Security Framework for Distributed Ledgers. - Christoph Egger 001; Mike Graf 001; Ralf Küsters; Daniel Rausch 001; Viktoria Ronge; Dominique Schröder (IACR Cryptol. ePrint Arch., 2021)

AUC: Accountable Universal Composability. - Mike Graf 001; Ralf Küsters; Daniel Rausch 001 (IACR Cryptol. ePrint Arch., 2022)

Accountable Bulletin Boards: Definition and Provably Secure Implementation. - Mike Graf 001; Ralf Küsters; Daniel Rausch 001; Simon Egger; Marvin Bechtold; Marcel Flinspach (IACR Cryptol. ePrint Arch., 2023)

Composable accountability for distributed ledgers. - Mike Graf 001 (2024)