Guilhem Lacombe

Orcid: 0009-0008-8327-626X

According to our database1, Guilhem Lacombe authored at least 5 papers between 2021 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Formal Methods for Bug Prioritization. (Méthodes formelles pour la prioritisation de bugs).
PhD thesis, 2026

2025
Attacker Control and Bug Prioritization.
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

Quantitative Robustness for Vulnerability Assessment.
Proc. ACM Program. Lang., 2024

2021
Can You Accept LaTeX Files from Strangers? Ten Years Later.
CoRR, 2021


  Loading...