Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Modelling and analyzing security protocols in cryptographic process calculi

Steve Kremer 1, 2
1 SECSI - Security of information systems
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00636769
Contributor : Steve Kremer <>
Submitted on : Friday, October 28, 2011 - 11:33:28 AM
Last modification on : Thursday, July 2, 2020 - 5:26:02 PM
Long-term archiving on: : Thursday, November 15, 2012 - 10:45:56 AM

File

Identifiers

  • HAL Id : tel-00636769, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

462

Files downloads

222