Guilhem Lacombe
Orcid: 0009-0008-8327-626X
According to our database1,
Guilhem Lacombe authored at least 5 papers
between 2021 and 2026.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2026
Formal Methods for Bug Prioritization. (Méthodes formelles pour la prioritisation de bugs).
PhD thesis, 2026
2025
Proceedings of the 34th USENIX Security Symposium, 2025
2024
Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities.
J. Cryptogr. Eng., April, 2024
2021