Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jérémy Thibault
conf.researchr.org general profile
POPL 2021 profile
POPL 2023 profile
Registered user since Sun 17 Jan 2021
Name:
Jérémy Thibault
Country:
Germany
Affiliation:
MPI-SP
Contributions
2023
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PriSC
Author of SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine within the PriSC 2023-track
2021
PriSC
Author of Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs within the PriSC 2021-track
Share
x
Thu 21 Nov 11:46