Guillaume Hiet

Guillaume Hiet

CentraleSupélec (comUE Université Paris Saclay) - Gif-sur-Yvette / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4451718
Central School of Paris
person_outline Guillaume Hiet's MOST POPULAR ARTICLES
1-) Towards automated protocol reverse engineering using semantic information Proceedings of the 9th ACM symposium on Information, computer and …, 2014
2-) Modular verification of programs with effects and effect handlers in Coq Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
3-) Teaching android mobile security Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
4-) ARMHEx: A hardware extension for DIFT on ARM-based SoCs 2017 27th International Conference on Field Programmable Logic and …, 2017
5-) Teaching android mobile security Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019