16 citations · 17 across the 3 of their papers we have counts for
3 papers
Attacker Control and Bug Prioritization
Guilhem Lacombe, Sébastien Bardin
As bug-finding methods improve, bug-fixing capabilities are exceeded, resulting in an accumulation of potential vulnerabilities. There is thus a need for efficient and precise bug…
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities
Guilhem Lacombe, David Feliot, Etienne Boespflug +1
Certification through auditing allows to ensure that critical embedded systems are secure. This entails reviewing their critical components and checking for dangerous execution pat…
Can You Accept LaTeX Files from Strangers? Ten Years Later
Guilhem Lacombe, Kseniia Masalygina, Anass Tahiri +2
It is well-known that Microsoft Word/Excel compatible documents or PDF files can contain malicious content. LaTeX files are unfortunately no exception either. LaTeX users often inc…