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]
No references recorded for this publication.
No citations of this publication recorded.