Martti Karvonen

18 papers A* 1B 3Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards a Unified Theory of Time-Varying Data.
Appl. Categorical Struct.
Benjamin Merlin Bumpus, Wilmer Leal, James P. Fairbanks, Martti Karvonen, Frédéric Simard
2026 J jnl
Why cut-and-choose quantum state verification cannot be both efficient and secure.
IACR Commun. Cryptol.
Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa, Martti Karvonen
2024 J jnl
Towards a Unified Theory of Time-Varying Data.
CoRR
Benjamin Merlin Bumpus, James P. Fairbanks, Martti Karvonen, Wilmer Leal, Frédéric Simard
2024 J jnl
Uncloneable Quantum Advice.
IACR Commun. Cryptol.
Anne Broadbent, Martti Karvonen, Sébastien Lord
2024 J jnl
Why quantum state verification cannot be both efficient and secure: a categorical approach.
CoRR
Fabian Wiesner, Ziad Chaoui, Diana Kessler, Anna Pappa, Martti Karvonen
2023 J jnl
Categorical composable cryptography: extended version.
Log. Methods Comput. Sci.
Anne Broadbent, Martti Karvonen
2023 J jnl
Uncloneable Quantum Advice.
CoRR
Anne Broadbent, Martti Karvonen, Sébastien Lord
2022 B conf
Categorical composable cryptography.
FoSSaCS
Anne Broadbent, Martti Karvonen
2022 J jnl
Categorical composable cryptography: extended version.
CoRR
Anne Broadbent, Martti Karvonen
2021 J jnl
Categorical composable cryptography.
CoRR
Anne Broadbent, Martti Karvonen
2021 J jnl
Closing Bell: Boxing black box simulations in the resource theory of contextuality.
CoRR
Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
2019 A* conf
A comonadic view of simulation and quantum resources.
LICS
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
2019 J jnl
A comonadic view of simulation and quantum resources.
CoRR
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
2018 — conf
Categories of empirical models.
QPL
Martti Karvonen
2018 B conf
Reversible Effects as Inverse Arrows.
MFPS
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2018 J jnl
Reversible effects as inverse arrows.
CoRR
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2015 B conf
Reversible Monadic Computing.
MFPS
Chris Heunen, Martti Karvonen
2015 J jnl
Reversible monadic computing.
CoRR
Chris Heunen, Martti Karvonen