Guilhem Lacombe

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Test Generation

Static Analysis

Semantically Annotated

Fault Injection

Top Venues

Proc. ACM Program. Lang.

J. Cryptogr. Eng.

Publications

Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
Quantitative Robustness for Vulnerability Assessment. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. J. Cryptogr. Eng. 14 (1) (2024)
Guilhem Lacombe, David Féliot, Etienne Boespflug, Marie-Laure Potet
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. CoRR (2023)
Guilhem Lacombe, Kseniia Masalygina, Anass Tahiri, Carole Adam, Cédric Lauradoux
Can You Accept LaTeX Files from Strangers? Ten Years Later. CoRR (2021)