Proving differential privacy in Hoare logic
- Gilles Barthe
- , Marco Gaboardi
- , Emilio Jesús Gallego Arias
- , Justin Hsu
- , César Kunz
- , Pierre Yves Strub
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
57
Link opens in a new tab
Citations
(Scopus)