3 citations · 5 across the 2 of their papers we have counts for
3 papers
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…
cs.CR2019
Business Process Privacy Analysis in Pleak
Aivo Toots, Reedik Tuuling, Maksym Yerokhin +8
Pleak is a tool to capture and analyze privacy-enhanced business process models to characterize and quantify to what extent the outputs of a process leak information about its inpu…
cs.CR2018★ 3 cited
Achieving Differential Privacy using Methods from Calculus
Peeter Laud, Alisa Pankova, Martin Pettai
We introduce derivative sensitivity, an analogue to local sensitivity for continuous functions. We use this notion in an analysis that determines the amount of noise to be added to…