Modelling and analyzing security protocols in cryptographic process calculi - TEL - Thèses en ligne
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⟩
245 Consultations
406 Téléchargements

Partager

More