466 citations · 1.6k across the 73 of their papers we have counts for
1 paper · 2 filters
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…