Guillaume Hiet

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