Skip to content

feat: privacy leakage measures (2/6): α-leakage and maximal α-leakage - #82

Draft
KoushaKalantari wants to merge 3 commits into
stat-lib:mainfrom
KoushaKalantari:alpha-leakage
Draft

KoushaKalantari wants to merge 3 commits into
stat-lib:mainfrom
KoushaKalantari:alpha-leakage

Conversation

@KoushaKalantari

Copy link
Copy Markdown

This library adds support for mathematical verifications of privacy leakage metrics as defined in various established privacy literature. It builds on Statlib's Kernel channels and mutualInfo.

Design issue: #78
Depends on: #79
Formalizes (finite alphabets): Liao, Kosut, Sankar, Calmon, "Tunable measures for information leakage and applications to privacy-utility tradeoffs", arXiv:1809.09231.
How this PR relates to the InfoLeakage library: https://github.com/KoushaKalantari/InfoLeakage#relationship-to-statlib

AI use: I used Opus 5.5 for creating the code, and Codex (gpt-6-astra) for reviewing the proofs.

  • I have read and understood every line of code in this PR.
  • I take responsibility for its correctness, style, and fit with the surrounding library.
  • If a reviewer raises a question, I can answer it without re-running the AI tool.

🤖 Generated with Claude Code

KoushaKalantari and others added 3 commits November 11, 2026 17:43
Operational definition and Theorem 1 (supremum attained), data processing
in both directions, support bounds, zero leakage iff independence,
composition, additivity, and I(X;Y) <= L(X->Y) via mutualInfo.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…Calmon)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant