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)