1 computer-programmer-"https:"-"FEMTO-ST" "https:" "https:" "J" positions at CEA

Large language models for automatic bug finding in source code analysis H/F

CEA | Romans sur Isere, Rhone Alpes | France | about 2 months ago

] Lacombe, G., Feliot, D., Boespflug, E. et al. Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities. J Cryptogr Eng 14, 147–164 (2024). https