( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Closed-Form Bounds for DP-SGD against Record-level Inference.

, , , , , и . USENIX Security Symposium, USENIX Association, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Marco Zanella

Friedhelm Zanella

Renato Zanella

Santiago Suppan

Santiago Ewig

 

Другие публикации лиц с тем же именем

Verified security of redundancy-free encryption from Rabin and RSA., , и . CCS, стр. 724-735. ACM, (2012)HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)., , , , , , и . ACM Conference on Computer and Communications Security, стр. 899-918. ACM, (2020)Computer-Aided Cryptographic Proofs., , , , и . ITP, том 7406 из Lecture Notes in Computer Science, стр. 11-27. Springer, (2012)Formal certification of game-based cryptographic proofs. (Certification formelle de preuves cryptographiques basées sur les séquences de jeux).. Mines ParisTech, France, (2010)Everest: Towards a Verified, Drop-in Replacement of HTTPS., , , , , , , , , и 12 other автор(ы). SNAPL, том 71 из LIPIcs, стр. 1:1-1:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Closed-Form Bounds for DP-SGD against Record-level Inference., , , , , и . USENIX Security Symposium, USENIX Association, (2024)Beyond Provable Security Verifiable IND-CCA Security of OAEP., , , и . CT-RSA, том 6558 из Lecture Notes in Computer Science, стр. 180-196. Springer, (2011)Verifiable Security of Boneh-Franklin Identity-Based Encryption., , и . ProvSec, том 6980 из Lecture Notes in Computer Science, стр. 68-83. Springer, (2011)Analyzing Privacy Loss in Updates of Natural Language Models., , , , и . CoRR, (2019)Formal certification of code-based cryptographic proofs., , и . POPL, стр. 90-101. ACM, (2009)