Jérémy Thibault

11 papers A* 1A 3B 1Journal 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs.
ITP
Jérémy Thibault, Joseph Lenormand, Catalin Hritcu
2025 J jnl
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs.
CoRR
Jérémy Thibault, Joseph Lenormand, Catalin Hritcu
2024 A* conf
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CCS
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2024 J jnl
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CoRR
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2022 A conf
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
CSF
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2021 J jnl
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.
ACM Trans. Program. Lang. Syst.
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2021 J jnl
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.
CoRR
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2020 A conf
Trace-Relating Compiler Correctness and Secure Compilation.
ESOP
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2019 A conf
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
CSF
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
2019 J jnl
Trace-Relating Compiler Correctness and Secure Compilation.
CoRR
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2018 J jnl
Exploring Robust Property Preservation for Secure Compilation.
CoRR
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault