David Kretzler

Orcid: 0000-0002-6556-6457

According to our database¹, David Kretzler authored at least 10 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

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

Threshold BBS+ From Pseudorandom Correlations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Statement-Oblivious Threshold Witness Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

POSE: Practical Off-chain Smart Contract Execution.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

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

2021

Financially Backed Covert Security.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Generic Compiler for Publicly Verifiable Covert Multi-Party Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

David Kretzler

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...