David Kretzler

According to our database, David Kretzler authored at least 13 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

No Honor Among Crooks: Non-transferable Anonymous Tokens from Betrayability.

David Kretzler, Yong Li

IACR Cryptol. ePrint Arch., 2025

Non-interactive Threshold BBS+ from Pseudorandom Correlations.

Sebastian Faust, Carmit Hazay, David Kretzler, Leandro Rometsch, Benjamin Schlosser

Proceedings of the Topics in Cryptology - CT-RSA 2025, 2025

2024

Distributed Computation Meets Blockchain: Advanced Cryptographic Services from Blockchain Features.

David Kretzler

PhD thesis, 2024

2023

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

ACM Trans. Program. Lang. Syst., September, 2023

Threshold BBS+ From Pseudorandom Correlations.

Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser

IACR Cryptol. ePrint Arch., 2023

POSE: Practical Off-chain Smart Contract Execution.

Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Putting the Online Phase on a Diet: Covert Security from Short MACs.

Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser

Proceedings of the Topics in Cryptology - CT-RSA 2023, 2023

Statement-Oblivious Threshold Witness Encryption.

Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

Dagstuhl Artifacts Ser., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

CoRR, 2022

Financially Backed Covert Security.

Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser

Proceedings of the Public-Key Cryptography - PKC 2022, 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).

David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Generic Compiler for Publicly Verifiable Covert Multi-Party Computation.

Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021