Manuscript Hawk01-B@1 · Hawk01-B.tex · section · cfa976f1
The half-diamond normalization audit
Exact and approximate residual-leakage certificates › The half-diamond normalization audit · lines 373–377
We use the following published continuity theorem, rather than introducing a new general information–disturbance theorem.