# Information Security and Cryptography Research Group

## A Calculus of Conditional Independence and its Applications in Cryptography

### Ueli Maurer

IEEE International Symposium on Information Theory — ISIT 2000, IEEE, pp. 243, Jun 2000.

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.

## BibTeX Citation

@inproceedings{Maurer00c,
author       = {Ueli Maurer},
title        = {A Calculus of Conditional Independence and its Applications in Cryptography},
booktitle    = {IEEE International Symposium on Information Theory --- ISIT 2000},
pages        = 243,
year         = 2000,
month        = 6,
publisher    = {IEEE},
}