Accéder directement au contenu

Guillaume Hiet

44
Documents

Publications

Image document

Cross-domain Alert Correlation methodology for Industrial Control Systems

 Oualid Koucham , Stéphane Mocanu , Guillaume Hiet , Jean-Marc Thiriet , Frédéric Majorczyk
Computers and Security, 2022, 118 (July), pp.102723. ⟨10.1016/j.cose.2022.102723⟩
Article dans une revue hal-03636549v1
Image document

Intrusion Survivability for Commodity Operating Systems

 Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet
Digital Threats: Research and Practice, 2020, 1 (4), pp.1-30. ⟨10.1145/3419471⟩
Article dans une revue hal-03085774v1

Modular verification of programs with effects and effects handlers

 Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet
Formal Aspects of Computing, 2020, ⟨10.1007/s00165-020-00523-2⟩
Article dans une revue hal-03107526v1

Spécification et mécanisme de détection de flots d'information illégaux

 Mathieu Jaume , Valérie Viet Triem Tong , Guillaume Hiet
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩
Article dans une revue hal-00761351v1

Policy-based intrusion detection in web applications by monitoring Java information flows

 Guillaume Hiet , Valérie Viet Triem Tong , Ludovic Mé , Benjamin Morin
International Journal of Information and Computer Security, 2009, Vol.3 (N°3/4), 15 p
Article dans une revue hal-00448139v1

Vers une détection d'intrusions à fiabilité et pertinence prouvables

 Christophe Bidan , Guillaume Hiet , Ludovic Mé , Benjamin Morin , Jacob Zimmermann
La Revue de l'électricité et de l'électronique, 2006, 9, 13 p
Article dans une revue hal-00269279v1
Image document

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 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, France. pp.1-16
Communication dans un congrès hal-04118645v1
Image document

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

 Nicolas Bellec , Guillaume Hiet , Simon Rokicki , Frédéric Tronel , Isabelle Puaut
ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩
Communication dans un congrès hal-03641576v1
Image document

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

 Camille Le Bon , Erven Rohou , Frédéric Tronel , Guillaume Hiet
SILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩
Communication dans un congrès hal-03340008v1
Image document

Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating Systems

 Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet
ACSAC 2019 - 35th Annual Computer Security Applications Conference, Dec 2019, San Juan, Puerto Rico. ⟨10.1145/3359789.3359792⟩
Communication dans un congrès hal-02289315v2
Image document

Plateforme de protection de binaires configurable et dynamiquement adaptative

 Kévin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frédéric Tronel
RESSI 2019 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1-3
Communication dans un congrès hal-02385216v1
Image document

Teaching Android Mobile Security

 Jean-François Lalande , Valérie Viet Triem Tong , Pierre Graux , Guillaume Hiet , Wojciech Mazurczyk
SIGCSE '19 - 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩
Communication dans un congrès hal-01940652v1
Image document

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
AsianHOST 2018 - Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩
Communication dans un congrès hal-01911621v1
Image document

Modular Verification of Programs with Effects and Effect Handlers in Coq

 Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet
FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩
Communication dans un congrès hal-01799712v1
Image document

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

 Ronny Chevalier , David Plaquin , Guillaume Hiet
RESSI 2018 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2018, Nancy / La Bresse, France
Communication dans un congrès hal-02280376v1
Image document

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
ReConFig 2018 - International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩
Communication dans un congrès hal-01911619v1
Image document

Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems

 Oualid Koucham , Stéphane Mocanu , Guillaume Hiet , Jean-Marc Thiriet , Frédéric Majorczyk
SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland. pp.1-8
Communication dans un congrès hal-01877109v1
Image document

ARMHEx: embedded security through hardware-enhanced information flow tracking

 Muhammad Abdul – Wahab , Pascal Cotret , Mounir – Nasr Allah , Guillaume – Hiet , Vianney Lapotre
RESSI 2017 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2017, Grenoble (Autrans), France
Communication dans un congrès hal-01558155v1
Image document

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre
2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩
Communication dans un congrès hal-01558473v1
Image document

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 - 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩
Communication dans un congrès hal-01634566v1
Image document

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

 Deepak Subramanian , Guillaume Hiet , Christophe Bidan
FPS 2016 - The 9th International Symposium on Foundations & Practice of Security, Oct 2016, Québec City, Canada. pp.285-301, ⟨10.1007/978-3-319-51966-1_19⟩
Communication dans un congrès hal-01398192v1
Image document

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

 Thomas Letan , Pierre Chifflier , Guillaume Hiet , Pierre Néron , Benjamin Morin
21st International Symposium on Formal Methods (FM 2016), Nov 2016, Limassol, Cyprus. ⟨10.1007/978-3-319-48989-6_30⟩
Communication dans un congrès hal-01361422v1

Detecting Process-Aware Attacks in Sequential Control Systems

 Oualid Koucham , Stéphane Mocanu , Guillaume Hiet , Jean-Marc Thiriet , Frédéric Majorczyk
NordSec 2016 - 21st Nordic Conference on Secure IT Systems (NordSec 2016), Nov 2016, Oulu, Finland. p.20-36, ⟨10.1007/978-3-319-47560-8_2⟩
Communication dans un congrès hal-01361081v1

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 , Guillaume Hiet , Jean-Marc Thiriet , Frédéric Majorczyk
Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI 2016), May 2016, Toulouse, France
Communication dans un congrès hal-01587915v1
Image document

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre
26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩
Communication dans un congrès hal-01337579v1
Image document

A portable approach for SoC-based Dynamic Information Flow Tracking implementations

 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre
11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France
Communication dans un congrès hal-01311045v1

Preventive Information Flow Control through a Mechanism of Split Addresses

 Deepak Subramanian , Guillaume Hiet , Christophe Bidan
9th International Conference on Security of Information and Networks (SIN 2016), Jul 2016, Newark, United States. p.1-8, ⟨10.1145/2947626.2947645⟩
Communication dans un congrès hal-01344565v1

Etude comparative des formats d’alertes

 Guillaume Hiet , Hervé Debar , Sélim Ménouar , Vérène Houdebine
C&ESAR (Computer & Electronics Security Applications Rendez-vous) 2015, Nov 2015, Rennes, France. pp.125-148
Communication dans un congrès hal-01242786v1

Towards Automated Protocol Reverse Engineering Using Semantic Information

 Georges Bossert , Frédéric Guihéry , Guillaume Hiet
ASIA CCS '14, Jun 2014, Kyoto, Japan. pp.51-62, ⟨10.1145/2590296.2590346⟩
Communication dans un congrès hal-01009283v1

Preventive Information Flow Control through a Mechanism of Split Addresses

 Deepak Subramanian , Guillaume Hiet , Christophe Bidan
9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Saint-Germain-Au-Mont-d'Or, France
Communication dans un congrès hal-01344563v1

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

 Georges Bossert , Frédéric Guihéry , Guillaume Hiet
SSTIC 2012, Jun 2012, Rennes, France. pp.43
Communication dans un congrès hal-00763751v1

Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems

 Georges Bossert , Guillaume Hiet , Thibaut Henin
SAR-SSI 2011, May 2011, La Rochelle, France. pp.1-8, ⟨10.1109/SAR-SSI.2011.5931397⟩
Communication dans un congrès hal-00658396v1

From SSIR to CIDre: a New Security Research Group in Rennes

 Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin
1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Communication dans un congrès hal-00656940v1
Image document

Sécurité de la plate-forme d'exécution Java : limites et propositions d'améliorations

 Guillaume Hiet , Frédéric Guihéry , Goulven Guiheux , David Pichardie , Christian Brunette
Symposium sur la sécurité des technologies de l'information et des communications (SSTIC), 2010, Rennes, France
Communication dans un congrès inria-00537820v1

Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information Flows

 Guillaume Hiet , Valérie Viet Triem Tong , Ludovic Mé , Benjamin Morin
CRiSIS 2008, Oct 2008, Tozeur, Tunisia. 8 p
Communication dans un congrès hal-00353000v1

Monitoring both OS and program level information flows to detect intrusions against network servers

 Guillaume Hiet , Ludovic Mé , Benjamin Morin , Valérie Viet Triem Tong
IEEE Workshop on Monitoring, Attack Detection and Mitigation, Nov 2007, Toulouse, France
Communication dans un congrès hal-00268408v1

Détection fiable et pertinente de flux d'information illégaux

 Guillaume Hiet , Ludovic Mé , Jacob Zimmermann , Christophe Bidan , Benjamin Morin
Sixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France
Communication dans un congrès hal-00268422v1
Image document

ARMHEx: a framework for efficient DIFT in real-world SoCs

 Muhammad Abdul Wahab , Pascal Cotret , Mounir Nasr Allah , Guillaume Hiet , Vianney Lapotre
Field Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017
Poster de conférence hal-01558475v1
Image document

HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking

 Mounir Nasr Allah , Guillaume Hiet , Muhammad Abdul Wahab , Pascal Cotret , Guy Gogniat
Séminaire des doctorantes et doctorants en informatique de la Société Informatique de France, Apr 2016, Paris, France. 2016
Poster de conférence hal-01311032v1

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

 Pascal Cotret , Guillaume Hiet , Guy Gogniat
HiPEAC, Jan 2016, Prague, Czech Republic. 2016
Poster de conférence hal-01450844v1
Image document

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

 Pascal Cotret , Guillaume Hiet , Guy Gogniat , Vianney Lapotre
CHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015
Poster de conférence hal-01252597v1
Image document

SpecCert: Specifying and Verifying Hardware-based Security Enforcement

 Thomas Letan , Pierre Chifflier , Guillaume Hiet , Pierre Néron , Benjamin Morin
[Technical Report] CentraleSupélec; Agence Nationale de Sécurité des Systèmes d’Information. 2016, pp.20
Rapport hal-01356690v1
Image document

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
Autre [cs.OH]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩
Thèse tel-00355089v1
Image document

Security at the Hardware/Software Interface

 Guillaume Hiet
Cryptography and Security [cs.CR]. Université de Rennes 1, 2021
HDR tel-03511334v1