Guillaume Hiet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESORICS | Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code. | Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frdric Besson, Guillaume Hiet |
| 2022 | ECRTS | RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. | Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut |
| 2019 | ACSAC | Survivor: a fine-grained intrusion response and recovery approach for commodity operating systems. | Ronny Chevalier, David Plaquin, Chris I. Dalton, Guillaume Hiet |
| 2019 | SIGCSE | Teaching Android Mobile Security. | Jean-Franois Lalande, Valrie Viet Triem Tong, Pierre Graux, Guillaume Hiet, Wojciech Mazurczyk, Habiba Chaoui, Pascal Berthom |
| 2018 | FM | Modular Verification of Programs with Effects and Effect Handlers in Coq. | Thomas Letan, Yann Rgis-Gianas, Pierre Chifflier, Guillaume Hiet |
| 2017 | ACSAC | Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode. | Ronny Chevalier, Maugan Villatel, David Plaquin, Guillaume Hiet |
| 2017 | FPL | ARMHEx: A hardware extension for DIFT on ARM-based SoCs. | Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat |
| 2017 | FPL | ARMHEx: A framework for efficient DIFT in real-world SoCs. | Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat |
| 2016 | FM | SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. | Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin |
| 2016 | FPL | 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 |
| 2016 | SIN | Preventive information flow control through a mechanism of split addresses. | Deepak Subramanian, Guillaume Hiet, Christophe Bidan |
| 2014 | CCS | Towards automated protocol reverse engineering using semantic information. | Georges Bossert, Frdric Guihry, Guillaume Hiet |
| 2011 | DIMVA | From SSIR to CIDre: A New Security Research Group in Rennes, France. | Emmanuelle Anceaume, Christophe Bidan, Sbastien Gambs, Guillaume Hiet, Michel Hurfin, Ludovic M, Guillaume Piolle, Nicolas Prigent, Eric Totel, Frederic Tronel, Valrie Viet Triem Tong |
| 2008 | CRiSIS | Policy-based intrusion detection in Web applications by monitoring Java information flows. | Guillaume Hiet, Valrie Viet Triem Tong, Ludovic M, Benjamin Morin |