Martti Karvonen presented the paper "Categorical composable cryptography", co-authored with Anne Broadbent, at the 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS). Full details of the event can be found here and the published open-access paper is available here.