Martti Karvonen

According to our database, Martti Karvonen authored at least 11 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Towards a Unified Theory of Time-Varying Data.

Benjamin Merlin Bumpus, Wilmer Leal, James P. Fairbanks, Martti Karvonen, Frédéric Simard

Appl. Categorical Struct., June, 2026

Why cut-and-choose quantum state verification cannot be both efficient and secure.

Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa, Martti Karvonen

IACR Commun. Cryptol., 2026

2024

Why quantum state verification cannot be both efficient and secure: a categorical approach.

Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa, Martti Karvonen

CoRR, 2024

Uncloneable Quantum Advice.

Anne Broadbent, Martti Karvonen, Sébastien Lord

IACR Commun. Cryptol., 2024

2023

Categorical composable cryptography: extended version.

Anne Broadbent, Martti Karvonen

Log. Methods Comput. Sci., 2023

2022

Categorical composable cryptography.

Anne Broadbent, Martti Karvonen

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Closing Bell: Boxing black box simulations in the resource theory of contextuality.

Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

CoRR, 2021

2019

A comonadic view of simulation and quantum resources.

Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Reversible Effects as Inverse Arrows.

Chris Heunen, Robin Kaarsgaard, Martti Karvonen

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Categories of empirical models.

Martti Karvonen

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2015

Reversible Monadic Computing.

Chris Heunen, Martti Karvonen

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015