17 citations · 98 across the 21 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 4 cited
Categorical composable cryptography: extended version
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…
math.CT2022★ 1 cited
Inner autoequivalences in general and those of monoidal categories in particular
Pieter Hofstra, Martti Karvonen
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how…