Guillaume Hiet

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 25

Top Venues

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Nicolas Gaudin, Jean-Loup Hatchikian-Houdot, Frédéric Besson, Pascal Cotret, Guy Gogniat, Guillaume Hiet, Vianney Lapotre, Pierre Wilke
Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections. EuroS&P Workshops (2023)
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF (2023)
Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk
Cross-domain alert correlation methodology for industrial control systems. Comput. Secur. 118 (2022)
Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. ECRTS (2022)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular verification of programs with effects and effects handlers. Formal Aspects Comput. 33 (1) (2021)
Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification. EuroS&P Workshops (2021)
Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet
Workshop on the Security of Software/Hardware Interfaces (SILM 2020). EuroS&P Workshops (2020)
Ronny Chevalier, David Plaquin, Chris I. Dalton, Guillaume Hiet
Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating Systems. CoRR (2019)
Ronny Chevalier, David Plaquin, Chris I. Dalton, Guillaume Hiet
Survivor: a fine-grained intrusion response and recovery approach for commodity operating systems. ACSAC (2019)
Jean-François Lalande, Valérie Viet Triem Tong, Pierre Graux, Guillaume Hiet, Wojciech Mazurczyk, Habiba Chaoui, Pascal Berthomé
Teaching Android Mobile Security. SIGCSE (2019)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular Verification of Programs with Effects and Effect Handlers in Coq. FM (2018)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapôtre, Guy Gogniat
A small and adaptive coprocessor for information flow tracking in ARM SoCs. CoRR (2018)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapôtre, Guy Gogniat
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components. CoRR (2018)
Ronny Chevalier, Maugan Villatel, David Plaquin, Guillaume Hiet
Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode. CoRR (2018)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapotre, Guy Gogniat
A small and adaptive coprocessor for information flow tracking in ARM SoCs. ReConFig (2018)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat, Arnab Kumar Biswas
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components. AsianHOST (2018)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
Towards a hardware-assisted information flow tracking ecosystem for ARM processors. CoRR (2018)
Ronny Chevalier, Maugan Villatel, David Plaquin, Guillaume Hiet
Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode. ACSAC (2017)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
ARMHEx: A framework for efficient DIFT in real-world SoCs. FPL (2017)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
ARMHEx: A hardware extension for DIFT on ARM-based SoCs. FPL (2017)
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
Towards a hardware-assisted information flow tracking ecosystem for ARM processors. FPL (2016)
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. FM (2016)
Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk
Detecting Process-Aware Attacks in Sequential Control Systems. NordSec (2016)
Deepak Subramanian, Guillaume Hiet, Christophe Bidan
Preventive information flow control through a mechanism of split addresses. SIN (2016)
Deepak Subramanian, Guillaume Hiet, Christophe Bidan
A Self-correcting Information Flow Control Model for the Web-Browser. FPS (2016)
Georges Bossert, Frédéric Guihéry, Guillaume Hiet
Towards automated protocol reverse engineering using semantic information. AsiaCCS (2014)
Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet
Spécification et mécanisme de détection de flots d'information illégaux. Tech. Sci. Informatiques 31 (6) (2012)
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
From SSIR to CIDre: A New Security Research Group in Rennes, France. SysSec@DIMVA (2011)
Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin
Policy-based intrusion detection in web applications by monitoring Java information flows. Int. J. Inf. Comput. Secur. 3 (3/4) (2009)
Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin
Policy-based intrusion detection in Web applications by monitoring Java information flows. CRiSIS (2008)

Guillaume Hiet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guillaume Hiet