Guillaume Hiet

Laboratoire

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

Mots cles

Cybersecurity, intrusion detection, security of software/hardware interfaces

Résumé

Professor

Publications (49)

Communication dans un congrès 27/10/2025

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ès 27/10/2025

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

Simon Rokicki , Isabelle Puaut , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 27/10/2025

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

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

Article dans une revue 27/10/2025

Cross-domain Alert Correlation methodology for Industrial Control Systems

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

Communication dans un congrès 17/10/2025

Etude comparative des formats d’alertes

Hervé Debar , Sélim Ménouar , Vérène Houdebine , Guillaume Hiet

Document associé à des manifestations scientifiques 06/10/2025

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

Cyprien Jules , Gabriel Desfrene , Pierre Wilke , Guillaume Hiet

Communication dans un congrès 27/09/2025

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 dans un congrès 27/09/2025

Classification des approches de détection d'intrusions dans les systèmes de contrôle industriels et axes d'amélioration

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

Communication dans un congrès 27/09/2025

Detecting Process-Aware Attacks in Sequential Control Systems

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

Poster de conférence 03/09/2025

HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking

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

Communication dans un congrès 03/09/2025

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

Poster de conférence 03/09/2025

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

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

Poster de conférence 03/09/2025

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

Pascal Cotret , Guy Gogniat , Vianney Lapotre , Guillaume Hiet

Communication dans un congrès 03/09/2025

A portable approach for SoC-based Dynamic Information Flow Tracking implementations

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

Communication dans un congrès 03/09/2025

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

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

Communication dans un congrès 03/09/2025

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

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

Poster de conférence 03/09/2025

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

Pascal Cotret , Guy Gogniat , Guillaume Hiet

Communication dans un congrès 03/09/2025

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 dans un congrès 03/09/2025

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

Article dans une revue 22/07/2025

Modular verification of programs with effects and effects handlers

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

Communication dans un congrès 22/07/2025

Modular Verification of Programs with Effects and Effect Handlers in Coq

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

04/04/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 dans un congrès 28/03/2025

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

Thomas Letan , Pierre Chifflier , Pierre Néron , Benjamin Morin , Guillaume Hiet

Communication dans un congrès 28/03/2025

Preventive Information Flow Control through a Mechanism of Split Addresses

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Communication dans un congrès 28/03/2025

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

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Communication dans un congrès 28/03/2025

Preventive Information Flow Control through a Mechanism of Split Addresses

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Article dans une revue 28/03/2025

Intrusion Survivability for Commodity Operating Systems

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Communication dans un congrès 28/03/2025

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 dans un congrès 28/03/2025

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

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

HDR 28/03/2025

Security at the Hardware/Software Interface

Guillaume Hiet