Guillaume Hiet

Laboratoire

Confidentialté, Intégrité, Disponibilité, Répartition

Mots cles

Cybersecurity, intrusion detection, security of software/hardware interfaces

Résumé

Professor

Publications (32)

Article dans une revue 28/03/2025

Intrusion Survivability for Commodity Operating Systems

Ronny Chevalier , David Plaquin , Chris Dalton , Guillaume Hiet

Communication dans un congrè 28/03/2025

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

Georges Bossert , Frédéric Guihéry , Guillaume Hiet

Communication dans un congrè 28/03/2025

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

Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin , Ludovic Mé , Guillaume Piolle , Nicolas Prigent , Eric Totel , Frederic Tronel , Valerie Viet Triem Tong

Article dans une revue 28/03/2025

Modular verification of programs with effects and effects handlers

Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet

Communication dans un congrè 26/02/2025

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

Communication dans un congrè 08/11/2024

Modular Verification of Programs with Effects and Effect Handlers in Coq

Thomas Letan , Yann Régis-Gianas , Pierre Chifflier , Guillaume Hiet

Communication dans un congrè 14/02/2023

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

Guillaume Hiet , Valerie Viet Triem Tong , Ludovic Mé , Benjamin Morin

Article dans une revue 14/02/2023

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

Guillaume Hiet , Valerie Viet Triem Tong , Ludovic Mé , Benjamin Morin

Article dans une revue 14/02/2023

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

Christophe Bidan , Guillaume Hiet , Ludovic Mé , Benjamin Morin , Jacob Zimmermann

Communication dans un congrè 14/02/2023

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

Guillaume Hiet , Ludovic Mé , Jacob Zimmermann , Christophe Bidan , Benjamin Morin , Valerie Viet Triem Tong