Knowledge Tree

researcher / Stéphanie Delaune

Stéphanie Delaune

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Vérification des protocoles cryptographiques et propriétés algébriques

Directed Thesis:

Symbolic verification of distance-bounding protocols : application to payment protocols

Formal verification of the Internet Key Exchange (IKEv2) security protocol

Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques

Vérification formelle de protocoles basés sur de courtes chaines authentifiées

Vérification automatique de la protection de la vie privée : entre théorie et pratique

Analyse automatique de propriétés d’équivalence pour les protocoles cryptographiques

Formal verification of secured routing protocols