safety security
Quantum Programs Get a Noninterference Proof
Self-conjugation replaces classical self-composition when no-cloning blocks the usual information-flow argument.
Summary
Self-conjugation replaces classical self-composition when no-cloning blocks the usual information-flow argument.
The paper defines noninterference- and simulation-based security for quantum programs and proves the two notions equivalent. It introduces self-conjugation to express information-flow properties in quantum Hoare logic where copying a program state would fail. Examples cover the quantum one-time pad, error correction and anonymous entanglement.
Why it matters
Self-conjugation replaces classical self-composition when no-cloning blocks the usual information-flow argument.
Limits and context
No additional limitation was separately recorded.
Key claims
Self-conjugation replaces classical self-composition when no-cloning blocks the usual information-flow argument.
Evidence: source-2026-11-11-018
Sources
- arXiv:2611.14147v1arXiv / Cornell University · primary research
Corrections
No corrections have been recorded for this story.