Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1907.05320
Cited By
Trace-Relating Compiler Correctness and Secure Compilation
11 July 2019
Carmine Abate
Roberto Blanco
Ștefan Ciobâcă
Adrien Durier
Deepak Garg
Cătălin Hriţcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
LLMSV
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Trace-Relating Compiler Correctness and Secure Compilation"
1 / 1 papers shown
Title
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Akram El-Korashy
Roberto Blanco
Jérémy Thibault
Adrien Durier
Deepak Garg
Cătălin Hriţcu
LRM
27
7
0
04 Oct 2021
1
