ETH Zürich » Computer Science » Theory » Cryptography

Publications: Abstract

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.