computational indistinguishabilityLast updated Feb 3, 2024ReferencesCategorical Composable Cryptography (Broadbent and Karvonen, 2021)monoidal congruence