Modelling and analyzing security protocols in cryptographic process calculi - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2011

Modelling and analyzing security protocols in cryptographic process calculi

Résumé

In his habilitation theses Steve Kremer presents some selected research results in the area of formal analysis of security protocols. His contributions include application of formal methods to electronic voting protocols and security APIs, automated methods for verifying equivalence properties, compositional reasoning for security protocols and computational soundness results.
Fichier principal
Vignette du fichier
hdr.pdf (2.01 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00636769 , version 1 (28-10-2011)

Identifiants

  • HAL Id : tel-00636769 , version 1

Citer

Steve Kremer. Modelling and analyzing security protocols in cryptographic process calculi. Computer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011. ⟨tel-00636769⟩
237 Consultations
403 Téléchargements

Partager

Gmail Facebook X LinkedIn More