Guillaume Hiet

Laboratoire

Confidentialté, Intégrité, Disponibilité, Répartition

Mots cles

Cybersecurity, intrusion detection, security of software/hardware interfaces

Résumé

Professor

Publications (31)

Communication dans un congrè 04/12/2024

Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code

Hatchikian-Houdot Jean-Loup , Pierre Wilke , Frédéric Besson , Guillaume Hiet

Communication dans un congrè 08/11/2024

Modular Verification of Programs with Effects and Effect Handlers in Coq

Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet

Article dans une revue 08/11/2024

Modular verification of programs with effects and effects handlers

Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet

Communication dans un congrè 07/11/2024

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

Ronny Chevalier , Maugan Villatel , David Plaquin , Guillaume Hiet

Communication dans un congrè 07/11/2024

Plateforme de protection de binaires configurable et dynamiquement adaptative

Kévin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frederic Tronel

Communication dans un congrè 07/11/2024

A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity

Matthieu Baty , Pierre Wilke , Guillaume Hiet , Arnaud Fontaine , Alix Trieu

Communication dans un congrè 07/11/2024

A self-correcting information flow control model for the web-browser

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Rapport 07/11/2024

Semestre SILM : livre blanc

Guillaume Hiet

Communication dans un congrè 07/11/2024

Intrusion Survivability for Commodity Operating Systems and Services: A Work in Progress

Ronny Chevalier , David Plaquin , Guillaume Hiet

Communication dans un congrè 07/11/2024

Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating Systems

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet