Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version

29 January 2020

Papers citing "Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version"

9 / 9 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 63 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 53 3 0 29 Jan 2024
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations Antonio Joia Neto Ivan De Oliveira Nunes 91 18 0 07 Mar 2023
Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA Ivan De Oliveira Nunes Seoyeon Hwang Sashidhar Jakkamsetti Gene Tsudik 53 8 0 05 May 2022
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 53 8 0 04 Oct 2021
SERVAS! Secure Enclaves via RISC-V Authenticryption Shield Stefan Steinegger David Schrammel Samuel Weiser Pascal Nasahl Stefan Mangard 49 10 0 07 May 2021
GAROTA: Generalized Active Root-Of-Trust Architecture Esmerald Aliaj Ivan De Oliveira Nunes Gene Tsudik 37 13 0 13 Feb 2021
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly Carmine Abate Matteo Busi Stelios Tsampas 18 3 0 26 Jun 2020
CopyCat: Controlled Instruction-Level Attacks on Enclaves D. Moghimi Jo Van Bulck N. Heninger Frank Piessens B. Sunar 63 65 0 19 Feb 2020