Categorical composable cryptography.

Anne Broadbent, Martti Karvonen

Browse the full FOSSACS paper archive.