103 citations · 197 across the 16 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…