CapablePtrs: Securely Compiling Partial Programs Using the
Pointers-as-Capabilities Principle

v1v2 (latest)

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

12 May 2020

Akram El-Korashy

Stelios Tsampas

Marco Patrignani

Dominique Devriese

ArXiv (abs)PDF HTML

Papers citing "CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle"

5 / 5 papers shown

Title
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs Jérémy Thibault Joseph Lenormand Cătălin Hriţcu LRM 71 0 0 25 Mar 2025
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 61 3 0 29 Jan 2024
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 60 1 0 17 Jul 2023
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
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly Carmine Abate Matteo Busi Stelios Tsampas 21 3 0 26 Jun 2020