APIs  Algèbres de processus  Analyse de trafic  Apprentissage automatique  Assistants de preuve  Auto-modification  Automates programmables  Calcul formel  Certification  Chiffrement  Coq  Coq  Coupe-feu  Cryptographie  Décidabilité  Décidabilité  Démonstration automatique  HTTPS  IPSec  Infrastructures à clés publiques  Interconnexion de réseaux  Interfaces de programmation d'applications  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  Paiement  Pare-feu  Preuve  Preuve électronique  Protection de l'information  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  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émantique des langages  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 a dirigé les 6 thèses suivantes :


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

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

Véronique Cortier a été rapporteur de la thèse suivante :


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