3 research-assistant positions at CEA

Cybersecurity formal analysis of fault-injection attacks in hardware/software embedded systems

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

Sujet de stage The national TwinSec research project aims to establish an end-to-end methodology to identify and cancel, at the design stage, microarchitecture-specific vulnerabilities. The TwinSec

Security Contract Semantics for Fault-Injection Attacks in Embedded Systems H/F

CEA | Corbeil Essonnes, le de France | France | 3 months ago

, and to help our binary-level code analyzers to handle more generic classes of fault models [7,8,9]. Within the TwinSec research project, your main missions will be to: Define a semantics for the use

Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F

CEA | Corbeil Essonnes, le de France | France | 2 months ago

Category Mathematics, information, scientific, software Contract Internship Job title Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F Subject The internship