research
∙
09/10/2023
Uncloneable Quantum Advice
The famous no-cloning principle has been shown recently to enable a numb...
share
research
∙
08/28/2022
Categorical composable cryptography: extended version
We formalize the simulation paradigm of cryptography in terms of categor...
research
∙
05/12/2021
Categorical composable cryptography
We formalize the simulation paradigm of cryptography in terms of categor...
research
∙
04/22/2021
Closing Bell: Boxing black box simulations in the resource theory of contextuality
This chapter contains an exposition of the sheaf-theoretic framework for...
research
∙
04/22/2019
A comonadic view of simulation and quantum resources
We study simulation and quantum resources in the setting of the sheaf-th...
research
∙
05/22/2018
Reversible effects as inverse arrows
Reversible computing models settings in which all processes can be rever...
research
∙
04/04/2018