VeriX-Anon: A Multi-Layered Framework for Mathematically Verifiable Outsourced Target-Driven Data Anonymization

arXiv:2604.12431 · cs.CR, cs.DB, cs.LG · Submitted 2026-04-14 · Read on arXiv

cs.CR, cs.DB, cs.LG

Submitted: 2026-04-14

Updated: 2026-08-31

Comments: v2: revised after peer review. Evaluation expanded from 3 to 7 datasets, per-dataset Wasserstein-threshold calibration added, effect-size CIs and cross-dataset statistics reported, and analytical zk-SNARK/MPC/TEE baselines added. Minor errors corrected

Journal ref: Array 31 (2026) 101169

DOI: 10.1016/j.array.2026.101169

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Verification — 127× in this paper · explained in 2 episodes
Wasserstein Distance — 29× in this paper · explained in 4 episodes
Calibration — 25× in this paper · explained in 7 episodes
Fingerprinting — 16× in this paper · explained in 2 episodes
Generalization — 16× in this paper · explained in 13 episodes
Accuracy — 8× in this paper · explained in 1 episode
Consistency — 7× in this paper · explained in 3 episodes
Benchmark — 4× in this paper · explained in 2 episodes
SHAP values — 4× in this paper · explained in 2 episodes
Aggregation — 3× in this paper · explained in 1 episode
Clustering — 3× in this paper · explained in 2 episodes
Explainability — 3× in this paper · explained in 3 episodes
Fidelity — 3× in this paper · explained in 2 episodes
Communication Overhead — 2× in this paper · explained in 2 episodes
Distribution Shift — 2× in this paper · explained in 5 episodes
IEEE Symposium on Security and Privacy — 2× in this paper
Shapley values — 2× in this paper · explained in 2 episodes
AUC — 1× in this paper · explained in 2 episodes
Action Space — 1× in this paper · explained in 1 episode
Benchmarking — 1× in this paper · explained in 3 episodes
Explainable AI (XAI) — 1× in this paper · explained in 7 episodes
F1 Score — 1× in this paper · explained in 3 episodes
Failure Modes — 1× in this paper · explained in 3 episodes
Homogeneity — 1× in this paper · explained in 2 episodes
Interpretability — 1× in this paper · explained in 15 episodes
Model Drift — 1× in this paper · explained in 4 episodes
Optimal Transport — 1× in this paper · explained in 5 episodes
Robustness — 1× in this paper · explained in 5 episodes
Structural Integrity — 1× in this paper · explained in 3 episodes
Verifier — 1× in this paper · explained in 2 episodes

Sources

Secure k-Anonymization over Encrypted Databases

Terminology

Sources

Related papers