Jérémy Thibault
Scholar

Jérémy Thibault

Google Scholar ID: saRh5H4AAAAJ
Max Planck Institute for Security and Privacy (MPI-SP)
programming languagesformal verificationsecuritylanguage-based securitysecure compilation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
157
 
H-index
5
 
i10-index
4
 
Publications
13
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
2025
Cited
0
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Conference on Computer and Communications Security · 2024
Cited
1
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)