Guillaume Hiet

Laboratory

Confidentiality, Integrity, Availability, Distribution

Key words

Cybersecurity, intrusion detection, security of software/hardware interfaces

Website

Summary

Professor

Publications (52)

11/01/2026

Modular and automatic formal verification of a RISC-V processor with security mechanisms

Cyprien Jules , Pierre Wilke , Guillaume Hiet

Communication at a conference 22/10/2025

HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection

Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Report 25/09/2025

WIP: InSight -A CoreSight Trace Interpreter for Dynamic Information Flow Tracking

Volker Stolz , Guillaume Hiet , Pierre Wilke

Document associated with scientific events 25/09/2025

heRVé: towards a formally verified RISC-V processor with security mechanisms

Cyprien Jules , Gabriel Desfrene , Pierre Wilke , Guillaume Hiet

01/01/2025

An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines

Guillaume – Hiet , Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Communication at a conference 06/09/2024

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

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

Communication at a conference 09/07/2023

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

Arnaud Fontaine , Alix Trieu , Pierre Wilke , Guillaume Hiet

Communication at a conference 28/06/2022

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

Simon Rokicki , Isabelle Puaut , Guillaume Hiet , Frederic Tronel

Article in a journal 29/04/2022

Cross-domain Alert Correlation methodology for Industrial Control Systems

Oualid Koucham , Stéphane Mocanu , Jean-Marc Thiriet , Frédéric Majorczyk , Guillaume Hiet

HDR 15/12/2021

Security at the Hardware/Software Interface

Guillaume Hiet

Communication at a conference 06/09/2021

DAMASCUS: Control-Data Isolation at Runtime through Dynamic Binary Modification

Camille Le Bon , Erven Rohou , Frederic Tronel , Guillaume Hiet

Article in a journal 15/12/2020

Modular verification of programs with effects and effects handlers

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

Article in a journal 01/12/2020

Intrusion Survivability for Commodity Operating Systems

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Report 01/12/2020

SILM Semester: White Paper

Guillaume Hiet

Proceedings 01/01/2020

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)

Jean-Louis Lanet , Guillaume Hiet , Frederic Tronel

Communication at a conference 09/12/2019

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

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Communication at a conference 15/05/2019

Configurable and dynamically adaptive binary protection platform

Kevin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frederic Tronel

Communication at a conference 27/02/2019

Teaching Android Mobile Security

Pierre Graux , Wojciech Mazurczyk , Habiba Chaoui , Pascal Berthomé , Jean-Francois Lalande , Valerie Viet Triem Tong , Guillaume Hiet

Communication at a conference 17/12/2018

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Vianney Lapotre , Gogniat Guy , Arnab Kumar Biswas , Guillaume Hiet

Communication at a conference 03/12/2018

A small and adaptive coprocessor for information flow tracking in ARM SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Arnab Kumar Biswas , Vianney Lapotre , Gogniat Guy , Guillaume Hiet

Communication at a conference 29/08/2018

Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems

Oualid Koucham , Stéphane Mocanu , Jean-Marc Thiriet , Frédéric Majorczyk , Guillaume Hiet

Communication at a conference 15/07/2018

Modular Verification of Programs with Effects and Effect Handlers in Coq

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

Communication at a conference 23/05/2018

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

Ronny Chevalier , David Plaquin , Guillaume Hiet

Communication at a conference 06/12/2017

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

Ronny Chevalier , Maugan Villatel , David Plaquin , Guillaume Hiet

Conference poster 04/09/2017

ARMHEx: a framework for efficient DIFT in real-world SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Vianney Lapotre , Guy Gogniat , Guillaume Hiet

Communication at a conference 01/09/2017

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Vianney Lapotre , Guy Gogniat , Guillaume Hiet

Communication at a conference 17/05/2017

ARMHEx: embedded security through hardware-enhanced information flow tracking

Muhammad Abdul – Wahab , Pascal Cotret , Mounir – Nasr Allah , Guillaume – Hiet , Vianney Lapotre , Guy Gogniat , Guillaume Hiet

Communication at a conference 09/11/2016

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

Thomas Letan , Pierre Chifflier , Peter Nero , Benjamin Morin , Guillaume Hiet

Communication at a conference 02/11/2016

Detecting Process-Aware Attacks in Sequential Control Systems

Oualid Koucham , Stéphane Mocanu , Jean-Marc Thiriet , Frédéric Majorczyk , Guillaume Hiet

Communication at a conference 24/10/2016

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

Deepak Subramanian , Guillaume Hiet , Christophe Bidan