Publications

Peer-Reviewed Conferences

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, and Benjamin Morin. SpecCert: Specifying and Verifying Hardware-based Software Enforcement. In 21st International Symposium on Formal Methods (FM 2016), 21st International Symposium on Formal Methods (FM 2016). Limassol, Cyprus, November 2016. Springer. URL: https://hal.inria.fr/hal-01361422.

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc THIRIET, and Frédéric Majorczyk. Detecting Process-Aware Attacks in Sequential Control Systems. In 21st Nordic Conference on Secure IT Systems (NordSec 2016). Oulu, Finland, November 2016. URL: https://hal.inria.fr/hal-01361081.

Deepak Subramanian, Guillaume Hiet, and Christophe Bidan. A self-correcting information flow control model for the web-browser. In The 9th International Symposium on Foundations & Practice of Security (FPS'2016). Québec City, Canada, October 2016. URL: https://hal.inria.fr/hal-01398192.

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, and Guy Gogniat. Towards a hardware-assisted information flow tracking ecosystem for ARM processors. In 26th International Conference on Field-Programmable Logic and Applications (FPL 2016). Lausanne, Switzerland, August 2016. URL: https://hal.archives-ouvertes.fr/hal-01337579.

Deepak Subramanian, Guillaume Hiet, and Christophe Bidan. Preventive Information Flow Control through a Mechanism of Split Addresses. In 9th International Conference on Security of Information and Networks (SIN 2016). Rutgers University, New Jersey, United States, July 2016. URL: https://hal.inria.fr/hal-01344565.

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, and guy cogniat. A portable approach for SoC-based Dynamic Information Flow Tracking implementations. In 11ème Colloque du GDR SoC/SiP. Nantes, France, June 2016. URL: https://hal-centralesupelec.archives-ouvertes.fr/hal-01311045.

Guillaume Hiet, Hervé DEBAR, Sélim Ménouar, and Vérène Houdebine. Etude comparative des formats d'alertes. In C&ESAR (Computer & Electronics Security Applications Rendez-vous) 2015, Actes de la conférence C&ESAR (Computer & Electronics Security Applications Rendez-vous) 2015, 125–148. Rennes, France, November 2015. URL: https://hal-supelec.archives-ouvertes.fr/hal-01242786.

Georges Bossert, Frédéric Guihéry, and Guillaume Hiet. Towards Automated Protocol Reverse Engineering Using Semantic Information. In ASIA CCS '14, 51–62. Kyoto, Japan, June 2014. 12 pages. URL: https://hal-supelec.archives-ouvertes.fr/hal-01009283, doi:10.1145/2590296.2590346.

Deepak Subramanian, Guillaume Hiet, and Christophe Bidan. Preventive Information Flow Control through a Mechanism of Split Addresses. In 9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information. Saint-Germain-Au-Mont-d'Or, France, May 2014. URL: https://hal.inria.fr/hal-01344563.

Georges Bossert, Frédéric Guihéry, and Guillaume Hiet. Netzob : un outil pour la rétro-conception de protocoles de communication. In SSTIC 2012, 43. Rennes, France, June 2012. URL: https://hal-supelec.archives-ouvertes.fr/hal-00763751.

Emmanuelle Anceaume, Christophe Bidan, Sébastien Gambs, Guillaume Hiet, Michel Hurfin, Ludovic Mé, Guillaume Piolle, Nicolas Prigent, Eric Totel, Frédéric Tronel, and Valérie Viet Triem Tong. From SSIR to CIDre: a New Security Research Group in Rennes. In 1st SysSec Workshop. Amsterdam, Netherlands, July 2011. URL: https://hal-supelec.archives-ouvertes.fr/hal-00656940.

Georges Bossert, Guillaume Hiet, and Thibaut Henin. Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems. In SAR-SSI 2011, 1–8. La Rochelle, France, May 2011. URL: https://hal-supelec.archives-ouvertes.fr/hal-00658396, doi:10.1109/SAR-SSI.2011.5931397.

Guillaume Hiet, Frédéric Guihéry, Goulven Guiheux, David Pichardie, and Christian Brunette. Sécurité de la plate-forme d'exécution Java : limites et propositions d'améliorations. In Symposium sur la sécurité des technologies de l'information et des communications (SSTIC). Rennes, France, 2010. URL: https://hal.inria.fr/inria-00537820.

Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, and Benjamin Morin. Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information Flows. In CRiSIS 2008, 8 pages. Tozeur, Tunisia, October 2008. URL: https://hal-supelec.archives-ouvertes.fr/hal-00353000.

Guillaume Hiet, Ludovic Mé, Benjamin Morin, and Valérie Viet Triem Tong. Monitoring both OS and program level information flows to detect intrusions against network servers. In IEEE Workshop on Monitoring, Attack Detection and Mitigation, unknown. Toulouse, France, November 2007. URL: https://hal-supelec.archives-ouvertes.fr/hal-00268408.

Guillaume Hiet, Ludovic Mé, Jacob Zimmermann, Christophe Bidan, Benjamin Morin, and Valérie Viet Triem Tong. Détection fiable et pertinente de flux d'information illégaux. In Sixth Conference on Security and Network Architectures (SARSSI), unknown. France, June 2007. URL: https://hal-supelec.archives-ouvertes.fr/hal-00268422.

Peer-Reviewed Journals

Mathieu Jaume, Valérie Viet Triem Tong, and Guillaume Hiet. Spécification et mécanisme de détection de flots d'information illégaux. Technique et Science Informatiques, 31(6):713–742, 2012. URL: https://hal-supelec.archives-ouvertes.fr/hal-00761351, doi:10.3166/tsi.31.713-742.

Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, and Benjamin Morin. Policy-based intrusion detection in web applications by monitoring Java information flows. International Journal of Information and Computer Security, Vol.3(N°3/4):15 pages, 2009. URL: https://hal-supelec.archives-ouvertes.fr/hal-00448139.

Christophe Bidan, Guillaume Hiet, Ludovic Mé, Benjamin Morin, and Jacob Zimmermann. Vers une détection d'intrusions à fiabilité et pertinence prouvables. La Revue de l'Electricité et de l'Electronique, pages 13 pages, October 2006. URL: https://hal-supelec.archives-ouvertes.fr/hal-00269279.

Posters

Pascal Cotret, Guillaume Hiet, Guy Gogniat, and Vianney Lapotre. HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors. In CHES 2015 - Workshop on Cryptographic Hardware and Embedded Systems. Saint-Malo, France, September 2015. URL: https://hal-centralesupelec.archives-ouvertes.fr/hal-01252597.

Mounir Nasr Allah, Guillaume Hiet, Muhammad Abdul Wahab, Pascal Cotret, Guy Gogniat, and Vianney Lapotre. HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking. Séminaire des doctorantes et doctorants en informatique de la Société Informatique de France, April 2016. Poster. URL: https://hal-centralesupelec.archives-ouvertes.fr/hal-01311032.

PhD manuscrit

Guillaume Hiet. 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. PhD thesis, Université Rennes 1, December 2008. Version non-définitive - présentée le jour de la soutenance. URL: https://tel.archives-ouvertes.fr/tel-00355089.