Copertina

Verified Foundations for Differential Privacy

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	de Medeiros, Markus, Naveed, Muhammad, Lepoint, Tancrède, Kahsai, Temesghen, Ravitch, Tristan, Zetzsche, Stefan, Joshi, Anjali, Tassarotti, Joseph, Albarghouthi, Aws, Tristan, Jean-Baptiste
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verifying the Fisher-Yates Shuffle Algorithm in Dafny
di: Zetzsche, Stefan, et al.
Pubblicazione: (2025)

PECAN: A Deterministic Certified Defense Against Backdoor Attacks
di: Zhang, Yuhao, et al.
Pubblicazione: (2023)

Unlocking the Power of Environment Assumptions for Unit Proofs
di: Priya, Siddharth, et al.
Pubblicazione: (2024)

Verifiable Differential Privacy
di: Biswas, Ari, et al.
Pubblicazione: (2022)

Linear-Time T-Gate Optimization via Random Abstraction
di: Albarghouthi, Aws
Pubblicazione: (2026)

A Simple Data Exfiltration Game
di: Caulfield, Tristan
Pubblicazione: (2025)

VDDP: Verifiable Distributed Differential Privacy under the Client-Server-Verifier Setup
di: Sun, Haochen, et al.
Pubblicazione: (2025)

Differential Privacy Made Easy
di: Aitsam, Muhammad
Pubblicazione: (2022)

Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model
di: Bontekoe, Tariq, et al.
Pubblicazione: (2024)

JSTprove: Pioneering Verifiable AI for a Trustless Future
di: Gold, Jonathan, et al.
Pubblicazione: (2025)

Verifiable Privacy-Preserving Computing
di: Bontekoe, Tariq, et al.
Pubblicazione: (2023)

Hawk: Accurate and Fast Privacy-Preserving Machine Learning Using Secure Lookup Table Computation
di: Saleem, Hamza, et al.
Pubblicazione: (2024)

Approximate Differential Privacy of the $\ell_2$ Mechanism
di: Joseph, Matthew, et al.
Pubblicazione: (2025)

Approximate Algorithms for Verifying Differential Privacy with Gaussian Distributions
di: Bhusal, Bishnu, et al.
Pubblicazione: (2025)

Optimal conversion from Rényi Differential Privacy to $f$-Differential Privacy
di: Riess, Anneliese, et al.
Pubblicazione: (2026)

Verified Training for Counterfactual Explanation Robustness under Data Shift
di: Meyer, Anna P., et al.
Pubblicazione: (2024)

On the Differential Privacy and Interactivity of Privacy Sandbox Reports
di: Ghazi, Badih, et al.
Pubblicazione: (2024)

Towards Privacy-Preserving Revocation of Verifiable Credentials with Time-Flexibility
di: Buccafurri, Francesco, et al.
Pubblicazione: (2025)

PIDSMaker: Building and Evaluating Provenance-based Intrusion Detection Systems
di: Bilot, Tristan, et al.
Pubblicazione: (2026)

VPAS: Publicly Verifiable and Privacy-Preserving Aggregate Statistics on Distributed Datasets
di: Alghazwi, Mohammed, et al.
Pubblicazione: (2024)

The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
di: Ankele, Ralph, et al.
Pubblicazione: (2023)

Hierarchical Cryptographic Signature Mapping for Ransomware Classification: A Structural Decomposition Approach
di: Abernethy, Dominic, et al.
Pubblicazione: (2025)

Differential Privacy for Network Assortativity
di: Ma, Fei, et al.
Pubblicazione: (2025)

Practical Considerations for Differential Privacy
di: Amin, Kareem, et al.
Pubblicazione: (2024)

Network-Aware Differential Privacy
di: Li, Zhou, et al.
Pubblicazione: (2025)

Advances in Differential Privacy and Differentially Private Machine Learning
di: Das, Saswat, et al.
Pubblicazione: (2024)

Privacy-Preserving Verifiable Neural Network Inference Service
di: Riasi, Arman, et al.
Pubblicazione: (2024)

Differential Privacy in Aggregated Mobility Networks: Balancing Privacy and Utility
di: Haydari, Ammar, et al.
Pubblicazione: (2021)

Evaluating the Usability of Differential Privacy Tools with Data Practitioners
di: Ngong, Ivoline C., et al.
Pubblicazione: (2023)

Local Distance Query with Differential Privacy
di: Sheng, Weihong, et al.
Pubblicazione: (2025)

Differential Confounding Privacy and Inverse Composition
di: Zhang, Tao, et al.
Pubblicazione: (2024)

Federated Graph Analytics with Differential Privacy
di: Liu, Shang, et al.
Pubblicazione: (2024)

Co-designing heterogeneous models: a distributed systems approach
di: Ilau, Marius-Constantin, et al.
Pubblicazione: (2024)

Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget
di: Jin, Jiankai, et al.
Pubblicazione: (2024)

DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy
di: Küchler, Nicolas, et al.
Pubblicazione: (2025)

Privacy-Preserving Set-Based Estimation Using Differential Privacy and Zonotopes
di: Dawoud, Mohammed M., et al.
Pubblicazione: (2024)

Noise Variance Optimization in Differential Privacy: A Game-Theoretic Approach Through Per-Instance Differential Privacy
di: Ryu, Sehyun, et al.
Pubblicazione: (2024)

COSMOS: Predictable and Cost-Effective Adaptation of LLMs
di: Wang, Jiayu, et al.
Pubblicazione: (2025)

Analyzing Decoders for Quantum Error Correction
di: Molavi, Abtin, et al.
Pubblicazione: (2026)

Complex-valued Federated Learning with Differential Privacy and MRI Applications
di: Riess, Anneliese, et al.
Pubblicazione: (2021)