David Kretzler

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 15

Top Topics

Security Systems

Information Flow

Specification Language

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi
POSE: Practical Off-chain Smart Contract Execution. NDSS (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Putting the Online Phase on a Diet: Covert Security from Short MACs. IACR Cryptol. ePrint Arch. 2023 (2023)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Threshold BBS+ From Pseudorandom Correlations. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Statement-Oblivious Threshold Witness Encryption. CSF (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Statement-Oblivious Threshold Witness Encryption. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Putting the Online Phase on a Diet: Covert Security from Short MACs. CT-RSA (2023)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Financially Backed Covert Security. Public Key Cryptography (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR (2022)
Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi
POSE: Practical Off-chain Smart Contract Execution. CoRR (2022)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Financially Backed Covert Security. IACR Cryptol. ePrint Arch. 2021 (2021)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Generic Compiler for Publicly Verifiable Covert Multi-Party Computation. EUROCRYPT (2) (2021)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
Generic Compiler for Publicly Verifiable Covert Multi-Party Computation. IACR Cryptol. ePrint Arch. 2021 (2021)