ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dan Bogdanov' in GoogleThis author has not been identified. Look up 'Joosep Jääger' in GoogleThis author has not been identified. Look up 'Peeter Laud' in GoogleThis author has not been identified. Look up 'Härmel Nestra' in GoogleThis author has not been identified. Look up 'Martin Pettai' in GoogleThis author has not been identified. Look up 'Jaak Randmets' in GoogleThis author has not been identified. Look up 'Raul-Martin Rebane' in GoogleThis author has not been identified. Look up 'Ville Sokk' in GoogleThis author has not been identified. Look up 'Kert Tali' in GoogleThis author has not been identified. Look up 'Sandhra-Mirella Valdma' in Google

runs on WebDSL