Algorithmes  Algorithmique distribuée  Allocation de registres  Analyse Pire Cas  Analyse de dépendances  Analyse dynamique  Analyse statique  Architecture client-serveur  Assistants de preuve  Assistants de preuves  Automatisation  C  Calcul symbolique  Calculs locaux  Canaux cachés  Certification  Chemins infaisables  Code fantôme  Code source  Coloration de graphe  CompCert  Compilation  Compilation  Comportement indéfini  Constant-Time  Coq  Coq  Cryptographie  Datalog  Distribution  Démonstrateur automatique  Encodage  Expressions MBA  Exécution symbolique  Flot de données  Formalisations mathématiques  Génération aléatoire  Interprétation abstraite  Langage C  Langage flots de données  Langage impératif  Langages de données  Langages de programmation -- Sémantique  Langages de programmation  Langages fonctionnels  Langages formels  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logiciels  Logiciels critiques  Logique  Logique de séparation  Logique mathématique  Mathématiques -- Informatique  Modèle mémoire  Méthodes formelles  Méthodes formelles  Méthodes formelles  Obfuscation  Polymorphisme  Preuve de correction  Preuve de programme  Preuve de programmes  Preuve formelle  Protection de code  Raffinement de données  Rétro-ingénierie  Simulateur  Structure de donnée  Sureté des programmes  Synchrone  Système de types  Système embarqué  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté -- Examens  Systèmes informatiques -- Mesures de sûreté  Sémantique  Teinte de données  Test  Thèses et écrits académiques  Théorie des calculs locaux  Théorèmes -- Démonstration automatique  Traduction par validation  Verasco  Vérification de programmes  Vérification deductive  Vérification déductive  Vérification déductive des programmes  Vérification formelle  Why3  

Sandrine Blazy a dirigé les 7 thèses suivantes :


Sandrine Blazy a été président de jury de la thèse suivante :


Sandrine Blazy a été rapporteur des 8 thèses suivantes :

Informatique
Soutenue le 10-07-2013
Thèse soutenue
Informatique
Soutenue le 07-02-2013
Thèse soutenue

Sandrine Blazy a été membre de jury de la thèse suivante :