Dr. Heinrich Hördegen und Zitiert - Info zur Person

(1 - 6 von 10

)

Explicit Randomness is not Necessary when Modeling arXiv

arxiv.org

von V Cortier · · Zitiert von: 22 — Authors:Véronique Cortier (INRIA Lorraine - LORIA / LIFC), Heinrich Hördegen (INRIA Lorraine - LORIA / LIFC), Bogdan Warinschi (INRIA ... › cs

Explicit Randomness is not Necessary ACM Digital Library

dl.acm.org

von V Cortier · · Zitiert von: 22 — Explicit Randomness is not Necessary when Modeling Probabilistic Encryption · Véronique Cortier · Heinrich Hördegen · Bogdan Warinschi. › doi › abs › j.en...

ProVerif 1.89: Automatic Cryptographic Protocol Verifier, User ...

bensmyth.com

von B Blanchet · · Zitiert von: 161 — [CHW06] Véronique Cortier, Heinrich Hördegen, and Bogdan Warinschi. Explicit randomness is not necessary when modeling probabilistic encryption. von B Blanchet · · Zitiert von: 161 — [CHW06] Véronique Cortier, Heinrich Hördegen, and Bogdan Warinschi. Explicit randomness is not necessary when modeling probabilistic encryption. › files › ProVerif-manual-v...

ProVerif 2.02pl1: Automatic Cryptographic Protocol Verifier ...

ics.upjs.sk

von B Blanchet · · Zitiert von: 2 — [CHW06] Véronique Cortier, Heinrich Hördegen, and Bogdan Warinschi. Explicit randomness is not necessary when modeling probabilistic encryption. › ~jirasek › krp › manual

Explicit Randomness is not Necessary ScienceDirect.com

www.sciencedirect.com

von V Cortier · · Zitiert von: 22 — Véronique Cortier Heinrich Hördegen Bogdan Warinschi. Loria/CNRS UMR & INRIA Lorraine projet Cassis & Université Henri-Poincaré & INPL. › science › article › pii › pdf

ProVerif 1.98pl1: Automatic Cryptographic Protocol Verifier ...

www.cs.bham.ac.uk

von B Blanchet · · Zitiert von: 73 — [CHW06] Véronique Cortier, Heinrich Hördegen, and Bogdan Warinschi. Explicit randomness is not necessary when modeling probabilistic encryption. › ~bas › papers