Reversible Monadic Computing. - Chris Heunen; Martti Karvonen (MFPS, 2015)

Categories of empirical models. - Martti Karvonen (QPL, 2018)

Reversible Effects as Inverse Arrows. - Chris Heunen; Robin Kaarsgaard; Martti Karvonen (MFPS, 2018)

A comonadic view of simulation and quantum resources. - Samson Abramsky; Rui Soares Barbosa; Martti Karvonen; Shane Mansfield (LICS, 2019)

Closing Bell: Boxing black box simulations in the resource theory of contextuality. - Rui Soares Barbosa; Martti Karvonen; Shane Mansfield (CoRR, 2021)

Categorical composable cryptography. - Anne Broadbent; Martti Karvonen (FoSSaCS, 2022)

Categorical composable cryptography: extended version. - Anne Broadbent; Martti Karvonen (Log. Methods Comput. Sci., 2023)

Uncloneable Quantum Advice. - Anne Broadbent; Martti Karvonen; Sébastien Lord (IACR Commun. Cryptol., 2024)

Towards a Unified Theory of Time-Varying Data. - Benjamin Merlin Bumpus; James P. Fairbanks; Martti Karvonen; Wilmer Leal; Frédéric Simard (CoRR, 2024)

Why quantum state verification cannot be both efficient and secure: a categorical approach. - Fabian Wiesner; Ziad Chaoui; Diana Kessler; Anna Pappa 002; Martti Karvonen (CoRR, 2024)