I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Proving Differential Privacy in Hoare Logic:

, In: 2014 IEEE 27th Computer Security Foundations Symposium,
Barthe, Gilles ; Gaboardi, Marco ; Gallego Arias, Emilio Jesus... - p. 411-424 , 2014
Link: https://doi.org/10.1109/CSF.2014.36