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 18/11/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

Article dans une revue 18/11/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 18/11/2025

Detecting Process-Aware Attacks in Sequential Control Systems

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

Communication dans un congrès 18/11/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/10/2025

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

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

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 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

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

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

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

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

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

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

Teaching Android Mobile Security

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

Communication dans un congrès 28/03/2025

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

Deepak Subramanian , Guillaume Hiet , Christophe Bidan

Rapport 28/03/2025

Semestre SILM : livre blanc

Guillaume Hiet

Proceedings 28/03/2025

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

Jean-Louis Lanet , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 28/03/2025

Towards Automated Protocol Reverse Engineering Using Semantic Information

Georges Bossert , Frédéric Guihéry , Guillaume Hiet

Communication dans un congrès 28/03/2025

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

Ronny Chevalier , David Plaquin , Guillaume Hiet

Communication dans un congrès 28/03/2025

Netzob : un outil pour la rétro-conception de protocoles de communication

Georges Bossert , Frédéric Guihéry , Guillaume Hiet