8 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.CY2023★ 8 cited
UN Handbook on Privacy-Preserving Computation Techniques
David W. Archer, Borja de Balle Pigem, Dan Bogdanov +10
This paper describes privacy-preserving approaches for the statistical analysis. It describes motivations for privacy-preserving approaches for the statistical analysis of sensitiv…
cs.PL2022★ 2 cited
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
Dan Bogdanov, Joosep Jääger, Peeter Laud +6
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the…