Cremers, Cas, 1974-....
Cremers, Cas
Cas Cremers
Cremers, C.J.F. 1974-
Cremers, C.J.F. (Casimier), 1974-
VIAF ID: 283215329 (Personal)
Permalink: http://viaf.org/viaf/283215329
Preferred Forms
- 100 0 _ ‡a Cas Cremers
- 100 1 _ ‡a Cremers, C.J.F. ‡d 1974-
-
-
-
- 100 1 _ ‡a Cremers, Cas
- 100 1 _ ‡a Cremers, Cas ‡d 1974-
- 100 1 _ ‡a Cremers, Cas, ‡d 1974-....
4xx's: Alternate Name Forms (6)
5xx's: Related Names (4)
- 510 2 _ ‡a Eidgenössische Technische Hochschule Zürich ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Helmholtz-Zentrum für Informationssicherheit - CISPA gGmbH ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Saarbrücken ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a University of Oxford ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Complete characterization of security protocols by pattern refinement (work in progress) | |
Conception et analyse formelle de protocoles de sécurité, une application au vote électronique et au paiement mobile | |
Future-Proofing Key Exchange Protocols | |
Operational semantics and verification of security protocols | |
Preuves symboliques de propriétés d'indistinguabilité calculatoire | |
Security standardisation research, [2018]: | |
Symbolic Proofs of Computational Indistinguishability. | |
Vérification automatique de la protection de la vie privée : entre théorie et pratique | |
Vérification formelle des protocoles et des implementations cryptographiques. | |
Zukunftssichere Schlüsselaustauschverfahren |