General information
Organisation
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
• defence and security,
• nuclear energy (fission and fusion),
• technological research for industry,
• fundamental research in the physical sciences and life sciences.
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
Reference
SL-DRT-24-0752
Direction
DRT
Thesis topic details
Category
Technological challenges
Thesis topics
Advanced type-based static analysis for operating system verification
Contract
Thèse
Job description
In recent work [RTAS 2021], we have demonstrated the benefits of a static analysis guided
for analyzing low-level system programs, going so far as to be able to automatically verify the absence
to the point of being able to automatically verify the absence of privilege escalation in an embedded
operating system kernel as a consequence of the type-safety of the kernel code. Memory management
is a particularly difficult problem when analyzing system programs, or more broadly,
programs written in C, and type-based analysis provides a satisfactory solution with wide
wide applicability (e.g. data structure management code [VMCAI 2022], dynamic language runtime
dynamic language runtime, performance-oriented application code, etc.).
The aim of this thesis is to extend the applications that can be made of the use of type-based static analysis.
type-based static analysis.
University / doctoral school
Sciences et Technologies de l’Information et de la Communication (STIC)
Paris-Saclay
Thesis topic location
Site
Saclay
Requester
Person to be contacted by the applicant
LEMERRE Matthieu 
matthieu.lemerre@cea.fr
CEA
DRT/DILS//LSL
CEA - Centre de Saclay BP 94
F91191 Gif sur Yvette CEDEX
01 69 08 26 28
Tutor / Responsible thesis director
SIGHIREANU Mihaela Mihaela.Sighireanu@liafa.jussieu.fr
ENS Paris-Saclay
University Paris Diderot / LIAFA (case 7014) / Sophie Germain Building
8 place Aurélie Nemours / F-75013 Paris France
+(33) 1 57 27 94 01
En savoir plus
