1 software-formal-method-phd uni jobs at CEA in France

Hardware/software cybersecurity of embedded systems H/F

CEA | Corbeil Essonnes, le de France | France | about 1 month ago

developed by our team [1,2] are able to: 1) identify exploitable vulnerabilities at the software level based on these interactions between a software and a microarchitecture, or 2) formally prove the security