David Kretzler

19 papers A* 1A 2B 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Completing Policy-based Anonymous Tokens: Private Bits, Public Metadata and more...
IACR Cryptol. ePrint Arch.
David Kretzler, Yong Li, Codrin Ogreanu
2025 J jnl
No Honor Among Crooks: Non-transferable Anonymous Tokens from Betrayability.
IACR Cryptol. ePrint Arch.
David Kretzler, Yong Li
2025 B conf
Non-interactive Threshold BBS+ from Pseudorandom Correlations.
CT-RSA
Sebastian Faust, Carmit Hazay, David Kretzler, Leandro Rometsch, Benjamin Schlosser
2024 — —
Distributed Computation Meets Blockchain: Advanced Cryptographic Services from Blockchain Features.
David Kretzler
2023 A* conf
POSE: Practical Off-chain Smart Contract Execution.
NDSS
Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi
2023 J jnl
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2023 B conf
Putting the Online Phase on a Diet: Covert Security from Short MACs.
CT-RSA
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2023 J jnl
Putting the Online Phase on a Diet: Covert Security from Short MACs.
IACR Cryptol. ePrint Arch.
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2023 A conf
Statement-Oblivious Threshold Witness Encryption.
CSF
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2023 J jnl
Statement-Oblivious Threshold Witness Encryption.
IACR Cryptol. ePrint Arch.
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2023 J jnl
Threshold BBS+ From Pseudorandom Correlations.
IACR Cryptol. ePrint Arch.
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2022 — conf
Financially Backed Covert Security.
Public Key Cryptography (2)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2022 J jnl
POSE: Practical Off-chain Smart Contract Execution.
CoRR
Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, Ahmad-Reza Sadeghi
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 A conf
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
ECOOP
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2021 J jnl
Financially Backed Covert Security.
IACR Cryptol. ePrint Arch.
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2021 — conf
Generic Compiler for Publicly Verifiable Covert Multi-Party Computation.
EUROCRYPT (2)
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser
2021 J jnl
Generic Compiler for Publicly Verifiable Covert Multi-Party Computation.
IACR Cryptol. ePrint Arch.
Sebastian Faust, Carmit Hazay, David Kretzler, Benjamin Schlosser