17 citations · 98 across the 21 of their papers we have counts for
Showing cs.CRShow 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…
cs.CR2021★ 6 cited
Categorical composable cryptography
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…