Explicit Randomness is not Necessary when Modeling Probabilistic Encryption

Véronique Cortier Heinrich Hördegen Bogdan Warinschi Explicit Randomness is not Necessary when Modeling Probabilistic Encryption http://arxiv.org/abs/cs/0606030 2006 CoRR abs/cs/0606030 db/journals/corr/corr0606.html#abs-cs-0606030