Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java. - Guillaume Hiet (2008)

Policy-based intrusion detection in web applications by monitoring Java information flows. - Guillaume Hiet; Valérie Viet Triem Tong; Ludovic Mé; Benjamin Morin (Int. J. Inf. Comput. Secur., 2009)

From SSIR to CIDre: A New Security Research Group in Rennes, France. - Emmanuelle Anceaume; Christophe Bidan; Sébastien Gambs; Guillaume Hiet; Michel Hurfin; Ludovic Mé; Guillaume Piolle; Nicolas Prigent; Eric Totel; Frederic Tronel; Valérie Viet Triem Tong (SysSec@DIMVA, 2011)

Spécification et mécanisme de détection de flots d'information illégaux. - Mathieu Jaume; Valérie Viet Triem Tong; Guillaume Hiet (Tech. Sci. Informatiques, 2012)

Towards automated protocol reverse engineering using semantic information. - Georges Bossert; Frédéric Guihéry; Guillaume Hiet (AsiaCCS, 2014)

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. - Thomas Letan; Pierre Chifflier; Guillaume Hiet; Pierre Néron; Benjamin Morin (FM, 2016)

Towards a hardware-assisted information flow tracking ecosystem for ARM processors. - Muhammad Abdul Wahab; Pascal Cotret; Mounir Nasr Allah; Guillaume Hiet; Vianney Lapotre; Guy Gogniat (FPL, 2016)

A Self-correcting Information Flow Control Model for the Web-Browser. - Deepak Subramanian; Guillaume Hiet; Christophe Bidan (FPS, 2016)

Detecting Process-Aware Attacks in Sequential Control Systems. - Oualid Koucham; Stéphane Mocanu; Guillaume Hiet; Jean-Marc Thiriet; Frédéric Majorczyk (NordSec, 2016)

Preventive information flow control through a mechanism of split addresses. - Deepak Subramanian; Guillaume Hiet; Christophe Bidan (SIN, 2016)

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode. - Ronny Chevalier; Maugan Villatel; David Plaquin; Guillaume Hiet (ACSAC, 2017)

ARMHEx: A hardware extension for DIFT on ARM-based SoCs. - Muhammad Abdul Wahab; Pascal Cotret; Mounir Nasr Allah; Guillaume Hiet; Vianney Lapotre; Guy Gogniat (FPL, 2017)

ARMHEx: A framework for efficient DIFT in real-world SoCs. - Muhammad Abdul Wahab; Pascal Cotret; Mounir Nasr Allah; Guillaume Hiet; Vianney Lapotre; Guy Gogniat (FPL, 2017)

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components. - Muhammad Abdul Wahab; Pascal Cotret; Mounir Nasr Allah; Guillaume Hiet; Vianney Lapotre; Guy Gogniat; Arnab Kumar Biswas (AsianHOST, 2018)

Modular Verification of Programs with Effects and Effect Handlers in Coq. - Thomas Letan; Yann Régis-Gianas; Pierre Chifflier; Guillaume Hiet (FM, 2018)

A small and adaptive coprocessor for information flow tracking in ARM SoCs. - Muhammad Abdul Wahab; Pascal Cotret; Mounir Nasr Allah; Guillaume Hiet; Arnab Kumar Biswas; Vianney Lapotre; Guy Gogniat (ReConFig, 2018)

Survivor: a fine-grained intrusion response and recovery approach for commodity operating systems. - Ronny Chevalier; David Plaquin; Chris I. Dalton; Guillaume Hiet (ACSAC, 2019)

Teaching Android Mobile Security. - Jean-François Lalande; Valérie Viet Triem Tong; Pierre Graux; Guillaume Hiet; Wojciech Mazurczyk; Habiba Chaoui; Pascal Berthomé (SIGCSE, 2019)

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020). - Guillaume Hiet; Frédéric Tronel; Jean-Louis Lanet (EuroS&P Workshops, 2020)

Intrusion Survivability for Commodity Operating Systems. - Ronny Chevalier; David Plaquin; Chris I. Dalton; Guillaume Hiet (DTRAP, 2020)

Security at the Hardware/Software Interface. - Guillaume Hiet (2021)

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification. - Camille Le Bon; Erven Rohou; Frédéric Tronel; Guillaume Hiet (EuroS&P Workshops, 2021)

Modular verification of programs with effects and effects handlers. - Thomas Letan; Yann Régis-Gianas; Pierre Chifflier; Guillaume Hiet (Formal Aspects Comput., 2021)

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. - Nicolas Bellec 001; Guillaume Hiet; Simon Rokicki; Frederic Tronel; Isabelle Puaut (ECRTS, 2022)

Cross-domain alert correlation methodology for industrial control systems. - Oualid Koucham; Stéphane Mocanu; Guillaume Hiet; Jean-Marc Thiriet; Frédéric Majorczyk (Comput. Secur., 2022)

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 (CSF, 2023)

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections. - Nicolas Gaudin; Jean-Loup Hatchikian-Houdot; Frédéric Besson; Pascal Cotret; Guy Gogniat; Guillaume Hiet; Vianney Lapotre; Pierre Wilke (EuroS&P Workshops, 2023)

Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code. - Jean-Loup Hatchikian-Houdot; Pierre Wilke; Frédéric Besson; Guillaume Hiet (ESORICS (3), 2024)