v1v2 (latest)

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

12 May 2020

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

2 / 2 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 59 0 0 25 Mar 2025
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 51 41 0 02 Feb 2018