Browsing by author "Strackx, Raoul"
Now showing items 1-11 of 11
-
Automatically generating secure wrappers for SGX enclaves from separation logic specifications
Van Ginkel, Neline; Strackx, Raoul; Piessens, Frank (2017) -
Breaking virtual memory protection and the SGX ecosystem with foreshadow
Van Bulck, Jo; Minkin, Marina; Weisse, Ofir; Genkin, Daniel; Kasikci, Baris; Piessens, Frank; Silberstein, Mark; Wenisch, Thomas; Yarom, Yuval; Strackx, Raoul (2019) -
Foreshadow: Extracting the keys to the Intel SGX kingdom with transient out-of-order execution
Van Bulck, Jo; Minkin, Marina; Weisse, Ofir; Genkin, Daniel; Kasikci, Daniel; Piessens, Frank; Silberstein, Mark; F. Wenisch, Thomas; Yarom, Yuval; Strackx, Raoul (2018) -
Hardening intel SGX applications: Balancing concerns
Vrancken, Kobe; Piessens, Frank; Strackx, Raoul (2017) -
Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
Van Bulck, Jo; Piessens, Frank; Strackx, Raoul (2018) -
Off-limits: Abusing legacy x86 memory segmentation to Spy on enclaved execution
Gyselinck, Jago; Van Bulck, Jo; Piessens, Frank; Strackx, Raoul (2018) -
Securely deploying distributed computation systems on peer-to-peer networks
Vrancken, Kobe; Strackx, Raoul; Piessens, Frank (2019) -
Security guarantees for the execution infrastructure of software applications
Piessens, Frank; Devriese, Dominique; Mühlberg, Jan Tobias; Strackx, Raoul (2016) -
SGX-step: A practical attack framework for precise enclave execution control
Van Bulck, Jo; Piessens, Frank; Strackx, Raoul (2017) -
Telling Your Secrets Without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution
Van Bulck, Jo; Weichbrodt, Nico; Kapitza, Rudiger; Piessens, Frank; Strackx, Raoul (2017) -
The Heisenberg defense: proactively defending SGX enclaves against page-table-based side-channel attacks
Strackx, Raoul; Piessens, Frank (2017)