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 | 15 | 2021 |
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 | 12 | 2022 |
Financially backed covert security S Faust, C Hazay, D Kretzler, B Schlosser IACR International Conference on Public-Key Cryptography, 99-129, 2022 | 7 | 2022 |
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 | 2 | 2023 |
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 | | |