Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Raul-Martin Rebane, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma. ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. In 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024. pages 372-387, IEEE, 2024. [doi]
@inproceedings{BogdanovJLNPRRSTV24,
title = {ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs},
author = {Dan Bogdanov and Joosep Jääger and Peeter Laud and Härmel Nestra and Martin Pettai and Jaak Randmets and Raul-Martin Rebane and Ville Sokk and Kert Tali and Sandhra-Mirella Valdma},
year = {2024},
doi = {10.1109/CSF61375.2024.00010},
url = {https://doi.org/10.1109/CSF61375.2024.00010},
researchr = {https://researchr.org/publication/BogdanovJLNPRRSTV24},
cites = {0},
citedby = {0},
pages = {372-387},
booktitle = {37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024},
publisher = {IEEE},
isbn = {979-8-3503-6203-9},
}