17 citations · 98 across the 21 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.CR2021★ 6 cited
Categorical composable cryptography
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-ph2021★ 6 cited
Closing Bell: Boxing black box simulations in the resource theory of contextuality
Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
This chapter contains an exposition of the sheaf-theoretic framework for contextuality emphasising resource-theoretic aspects, as well as some original results on this topic. In pa…
quant-ph2021★ 17 cited
Neither Contextuality nor Nonlocality Admits Catalysts
Martti Karvonen
We show that the resource theory of contextuality does not admit catalysts, i.e., there are no correlations that can enable an otherwise impossible resource conversion and still be…