APIs  Algèbres de processus  Analyse de protocoles  Analyse de trafic  Anonymat  Apprentissage automatique  Apprentissage machine  Assistants de preuve  Auto-modification  Automates programmables  Calcul formel  Canaux auxiliaires  Certification  Chiffrement  Compilation  Coq  Coq  Correction fonctionnelle  Coupe-feu  Cryptographie  Cryptographie boîte blanche  Décidabilité  Décidabilité  Démonstration automatique  Estimation des fuites  HTTPS  IPSec  Information, Théorie de l'  Informatique  Informatique mobile  Infrastructures à clés publiques  Interconnexion de réseaux  Interfaces de programmation d'applications  Internet mobile  Isomorphisme de Curry-Howard  Lambda-calcul  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logique informatique  Logique linéaire  Logique temporelle  Mesures de sûreté  Modèle calculatoire  Modèle symbolique  Modèle à taille de mémoire borné  Modèles calculatoires  Monnaie électronique  Méthodes formelles  Méthodes formelles  Obfuscation  Offuscation  PUF  Paiement  Pare-feu  Preuve  Preuve électronique  Preuves  Protection de l'information  Protection de la vie privée  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Protocoles récursifs  Réflexion  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de communication  Résistance aux intrusions  Secret  Secret du vote  Serveur de noms de domaine  Services Web  Signatures électroniques  Supervision  Systèmes d'information  Systèmes de types  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes mobiles et embarqués  Sécurité  Sécurité informatique  Sémantique des langages  Sûreté mémoire  Traçage de traîtres  Typage  Vie privée  Virologie  Virus informatiques  Vote  Vote électronique  Vérification  Vérification formelle  protocoles de sécurité, procédures de décision, chiffrement CBC, signatures en aveugles, cycles de clefs, secret fort, systèmes de contraintes, clauses de Horn, pi-calcul appliqué  Équivalence  

Véronique Cortier a rédigé la thèse suivante :


Véronique Cortier dirige actuellement la thèse suivante :


Véronique Cortier a dirigé les 7 thèses suivantes :


Véronique Cortier a été président de jury des 4 thèses suivantes :

Informatique
Soutenue le 06-10-2017
Thèse soutenue

Véronique Cortier a été rapporteur des 2 thèses suivantes :


Véronique Cortier a été membre de jury des 4 thèses suivantes :