Differential privacy, applied cryptography, and what breaks when the accounting is not checked.
A review of eprint 2018/442 checked against both published revisions and the reference implementation. Five questions, one real gap, and a routing typo in the 4-party protocol that hands one server the plaintext.
Oversampling before private training puts each record and its synthetic copies in one correlated group, so a record-level guarantee silently becomes a group-level one and the epsilon you report stops meaning what it claims.
Sensitivity, composition, and clipping, worked end to end. What has to hold before a privacy budget is a guarantee rather than a number in a config file.
Three verification models for autonomous agent payment guardrails under X402 and AP2, covering transaction neutrality, active verification oracles, and adversarial resilience against planted backdoors.
What a zero-knowledge proof can and cannot establish about a refusal. Proofs give integrity, and a safety failure is usually not an integrity problem.