Zoom (Meeting ID 937 8091 1329, passcode 001582) 2021-05-25 16:15: Categorical composable cryptography (Martti Karvonen (University of Ottawa))