Knowledge Tree

researcher / Sandrine Blazy

Sandrine Blazy

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée

EVA, an Evolved Value Analysis for Frama-C : structuring an abstract interpreter through value and state abstractions

Compilation formellement vérifiée de code C de bas-niveau

Obfuscation de données pour la protection de programmes contre l'analyse dynamique

Vérification d’analyses statiques pour langages de bas niveau

Certified Compilation and Worst-Case Execution Time Estimation

Verification formelle et optimisation de l’allocation de registres