Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2010.14032
Cited By
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs
27 October 2020
Robert Sison
Toby C. Murray
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs"
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
18
7
0
04 Oct 2021
1
