← Tous les laboratoires

Analyse sémantique et compilation pour la sécurité des environnements d'exécution

EPICURE · Unité propre · Autres

Tutelles : Institut national de la recherche en informatique et automatique, Université de Rennes (EPE)

Disciplines : informatique, ingenierie

📚 77 publications sur HAL open science →

Publications récentes (HAL)

Certified Derivation of Small-Step From Big-Step Skeletal Semantics
Automatic program verification by inference of relational models
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)