David Kretzler
Orcid: 0000-0002-6556-6457
According to our database1,
David Kretzler
authored at least 11 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
6
4
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Distributed Computation Meets Blockchain: Advanced Cryptographic Services from Blockchain Features.
PhD thesis, 2024
2023
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst., September, 2023
IACR Cryptol. ePrint Arch., 2023
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).
Dagstuhl Artifacts Ser., 2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR, 2022
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2021
IACR Cryptol. ePrint Arch., 2021