TY  - RPRT
TI  - Checking Leakage Witnesses versus Certifying Bounded Non-Leakage
AU  - Chao Feng
AU  - Burkhard Stiller
PY  - 2026
UR  - https://arxiv.org/abs/2609.32134
ID  - 2609.32134
ER  -