Paper sets out information-flow security proofs for quantum programs
Noninterference and simulation-based definitions are proved equivalent, with verification via quantum Hoare logic and self-conjugation.
Stories per day · 30 days
1 stories, newest first · one card per story