Jérémy Thibault | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Deepak Garg
26 publications
Éric Tanter
19 publications
Marco Patrignani
17 publications
Catalin Hritcu
15 publications
Ştefan Ciobâcă
10 publications
Roberto Blanco
6 publications
Carmine Abate
5 publications
Adrien Durier
4 publications
Akram El-Korashy
2 publications

research

∙ 10/04/2021

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

Proving secure compilation of partial programs typically requires back-t...

0 Akram El-Korashy, et al. ∙

research

∙ 07/11/2019

Trace-Relating Compiler Correctness and Secure Compilation

Compiler correctness is, in its simplest form, defined as the inclusion ...

0 Carmine Abate, et al. ∙

research

∙ 07/12/2018

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

Good programming languages provide helpful abstractions for writing secu...

0 Carmine Abate, et al. ∙

research

∙ 07/12/2018

Exploring Robust Property Preservation for Secure Compilation

Good programming languages provide helpful abstractions for writing more...

0 Carmine Abate, et al. ∙