1 data "https:" "https:" "https:" "https:" "J" uni jobs at CEA in France

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

CEA | Romans sur Isere, Rhone Alpes | France | 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