Follow
David Kretzler
David Kretzler
Verified email at tu-darmstadt.de
Title
Cited by
Cited by
Year
Generic compiler for publicly verifiable covert multi-party computation
S Faust, C Hazay, D Kretzler, B Schlosser
Annual International Conference on the Theory and Applications of …, 2021
152021
POSE: Practical off-chain smart contract execution
T Frassetto, P Jauernig, D Koisser, D Kretzler, B Schlosser, S Faust, ...
arXiv preprint arXiv:2210.07110, 2022
122022
Financially backed covert security
S Faust, C Hazay, D Kretzler, B Schlosser
IACR International Conference on Public-Key Cryptography, 99-129, 2022
72022
Prisma: A tierless language for enforcing contract-client protocols in decentralized applications
D Richter, D Kretzler, P Weisenburger, G Salvaneschi, S Faust, M Mezini
ACM Transactions on Programming Languages and Systems 45 (3), 1-41, 2023
22023
Statement-oblivious threshold witness encryption
S Faust, C Hazay, D Kretzler, B Schlosser
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 17-32, 2023
2023
Putting the online phase on a diet: covert security from short macs
S Faust, C Hazay, D Kretzler, B Schlosser
Cryptographers’ Track at the RSA Conference, 360-386, 2023
2023
Non-Interactive Threshold BBS+ From Pseudorandom Correlations
S Faust, C Hazay, D Kretzler, L Rometsch, B Schlosser
Cryptology ePrint Archive, 2023
2023
Threshold BBS+ From Pseudorandom Correlations
S Faust, C Hazay, D Kretzler, B Schlosser
The system can't perform the operation now. Try again later.
Articles 1–8