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"

8 / 8 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
Practical Enclave Malware with Intel SGX Michael Schwarz Samuel Weiser Daniel Gruss 37 90 0 08 Feb 2019
A Systematic Evaluation of Transient Execution Attacks and Defenses Claudio Canella Jo Van Bulck Michael Schwarz Moritz Lipp Benjamin von Berg Philipp Ortner Frank Piessens Dmitry Evtyushkin Daniel Gruss 56 407 0 13 Nov 2018
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation Carmine Abate Roberto Blanco Deepak Garg Cătălin Hriţcu Marco Patrignani Jérémy Thibault 47 65 0 12 Jul 2018
Spectre Attacks: Exploiting Speculative Execution P. Kocher Daniel Genkin Daniel Gruss Werner Haas Michael Hamburg Moritz Lipp Stefan Mangard Thomas Prescher Michael Schwarz Y. Yarom SILM 74 2,181 0 03 Jan 2018
Software-based Microarchitectural Attacks Daniel Gruss 49 15 0 19 Jun 2017
Malware Guard Extension: Using SGX to Conceal Cache Attacks Michael Schwarz Samuel Weiser Daniel Gruss Clémentine Maurice Stefan Mangard 54 426 0 28 Feb 2017
Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing Sangho Lee Ming-Wei Shih Prasun Gera Taesoo Kim Hyesoon Kim Marcus Peinado 45 504 0 21 Nov 2016