ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1907.05320
  4. Cited By
Trace-Relating Compiler Correctness and Secure Compilation
v1v2v3v4 (latest)

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
    LLMSVLRM
ArXiv (abs)PDFHTML

Papers citing "Trace-Relating Compiler Correctness and Secure Compilation"

2 / 2 papers shown
Title
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation
  and Turn-Taking Simulation
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
46
8
0
04 Oct 2021
Fully Abstract and Robust Compilation and How to Reconcile the Two,
  Abstractly
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Carmine Abate
Matteo Busi
Stelios Tsampas
12
3
0
26 Jun 2020
1