A Calculus of Conditional Independence and its Applications in Cryptography

Ueli Maurer

We present a simple calculus for deriving conditional independence
relations of events and random variables and show how it can be applied
to simplify, generalize and sometimes strengthen cryptographic security
proofs relying on the indistinguishability of certain types of
probabilistic constructions relevant in cryptography.