Generic Compiler for Publicly Verifiable Covert Multi-Party Computation. - Sebastian Faust; Carmit Hazay; David Kretzler; Benjamin Schlosser (IACR Cryptol. ePrint Arch., 2021)

Financially Backed Covert Security. - Sebastian Faust; Carmit Hazay; David Kretzler; Benjamin Schlosser (IACR Cryptol. ePrint Arch., 2021)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ECOOP, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (CoRR, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (Dagstuhl Artifacts Ser., 2022)

POSE: Practical Off-chain Smart Contract Execution. - Tommaso Frassetto; Patrick Jauernig; David Koisser; David Kretzler; Benjamin Schlosser; Sebastian Faust; Ahmad-Reza Sadeghi (NDSS, 2023)

Putting the Online Phase on a Diet: Covert Security from Short MACs. - Sebastian Faust; Carmit Hazay; David Kretzler; Benjamin Schlosser (IACR Cryptol. ePrint Arch., 2023)

Statement-Oblivious Threshold Witness Encryption. - Sebastian Faust; Carmit Hazay; David Kretzler; Benjamin Schlosser (IACR Cryptol. ePrint Arch., 2023)

Threshold BBS+ From Pseudorandom Correlations. - Sebastian Faust; Carmit Hazay; David Kretzler; Benjamin Schlosser (IACR Cryptol. ePrint Arch., 2023)

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ACM Trans. Program. Lang. Syst., 2023)

Distributed Computation Meets Blockchain: Advanced Cryptographic Services from Blockchain Features. - David Kretzler (2024)

Non-interactive Threshold BBS+ from Pseudorandom Correlations. - Sebastian Faust; Carmit Hazay; David Kretzler; Leandro Rometsch; Benjamin Schlosser (CT-RSA, 2025)