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. 2503.19609
  4. Cited By
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
v1v2 (latest)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs

25 March 2025
Jérémy Thibault
Joseph Lenormand
Cătălin Hriţcu
    LRM
ArXiv (abs)PDFHTML

Papers citing "Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs"

5 / 5 papers shown
Title
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Jérémy Thibault
Roberto Blanco
Dongjae Lee
Sven Argo
Arthur Azevedo de Amorim
Aïna Linn Georges
Cătălin Hriţcu
A. Tolmach
LRM
58
3
0
29 Jan 2024
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
56
8
0
04 Oct 2021
CapablePtrs: Securely Compiling Partial Programs Using the
  Pointers-as-Capabilities Principle
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Akram El-Korashy
Stelios Tsampas
Marco Patrignani
Dominique Devriese
Deepak Garg
Frank Piessens
ELMLRM
38
14
0
12 May 2020
Provably Secure Isolation for Interruptible Enclaved Execution on Small
  Microprocessors: Extended Version
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Matteo Busi
Job Noorman
Jo Van Bulck
Letterio Galletta
P. Degano
Jan Tobias Muhlberg
Frank Piessens
43
22
0
29 Jan 2020
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic
  Compromise
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
...
Théo Laurent
B. Pierce
M. Stronati
Jérémy Thibault
A. Tolmach
68
41
0
02 Feb 2018
1