47 citations · 104 across the 11 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2020★ 33 cited
CheckDP: An Automated and Integrated Approach for Proving Differential Privacy or Finding Precise Counterexamples
Yuxin Wang, Zeyu Ding, Daniel Kifer +1
We propose CheckDP, the first automated and integrated approach for proving or disproving claims that a mechanism is differentially private. CheckDP can find counterexamples for me…
cs.PL2019★ 47 cited
Proving Differential Privacy with Shadow Execution
Yuxin Wang, Zeyu Ding, Guanhong Wang +2
Recent work on formal verification of differential privacy shows a trend toward usability and expressiveness -- generating a correctness proof of sophisticated algorithm while mini…
cs.PL2017
Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report
Peixuan Li, Danfeng Zhang
This paper investigates a flow- and path-sensitive static information flow analysis. Compared with security type systems with fixed labels, it has been shown that flow-sensitive ty…