Newest papers

Formalization of Rényi Differential Privacy in Isabelle/HOL (Draft version)

Tetsuya Sato · 2026 · arXiv

DOI: 10.48550/arXiv.2610.25636 · open-access PDF

German

Differential Privacy (DP) ist eine Goldstandard-Definition der Privatsphäre, die entwickelt wurde, um die Datenschutzgarantie von Datenbanken zu bewerten. Rényi Differential Privacy (RDP) ist eine wichtige Variante von DP, die enge Bewertungen von Machine Learning-Algorithmen liefert. Diese Formulierungen sind leicht zu verstehen, aber die Bewertung der Privatsphäre für tatsächliche Datenbanken ist kompliziert. Selbst eine kleine Änderung in der Datenbank kann ihre Privatsphäre brechen und Bewertungen von DP und RDP selbst sind kompliziert. Insbesondere sind RDP-Bewertungen in jüngeren Studien viel schwieriger geworden.

Machine translation (Meta M2M100); the English original follows.

Abstract

Differential privacy (DP) is a gold-standard definition of privacy designed to evaluate the privacy guarantee of databases. Rényi differential privacy (RDP) is an important variant of DP that gives tight evaluations of machine learning algorithms. These formulations are easy to understand, but evaluating privacy for actual databases is complicated. Even a small change in the database can break its privacy, and evaluations of DP and RDP themselves are complicated. In particular, RDP evaluations in recent studies have become much harder. Therefore, formal verification of them has been studied fo

Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese

Is this paper real? This page was built from OpenAlex and arXiv records, not generated. Software can verify any reference in one call: GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.25636, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txt

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange