Categorical composable cryptography

Re-assign community