Towards automated protocol reverse engineering using semantic information. - Georges Bossert; Frédéric Guihéry; Guillaume Hiet (AsiaCCS, 2014)

Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism. - Pierre Lestringant; Frédéric Guihéry; Pierre-Alain Fouque (AsiaCCS, 2015)

Assisted Identification of Mode of Operation in Binary Code with Dynamic Data Flow Slicing. - Pierre Lestringant; Frédéric Guihéry; Pierre-Alain Fouque (ACNS, 2016)

CVE representation to build attack positions graphs. - Manuel Poisson; Valérie Viet Triem Tong; Gilles Guette; Frédéric Guihéry; Damien Crémilleux (IEEE Big Data, 2023)