2 papers
cs.CR2024
Categorical composable cryptography: extended version
Anne Broadbent, Martti Karvonen
We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus gi…
quant-ph2024
The Role of piracy in quantum proofs
Anne Broadbent, Alex B. Grilo, Supartha Podder +1
A well-known feature of quantum information is that it cannot, in general, be cloned. Recently, a number of quantum-enabled information-processing tasks have demonstrated various f…