TY  - RPRT
TI  - Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
AU  - Véronique Cortier
AU  - Heinrich Hördegen
AU  - Bogdan Warinschi
PY  - 2006
UR  - https://arxiv.org/abs/cs/0606030
ID  - cs/0606030
ER  -