imec Institutional Repository Browsing {{ collection }} by Author "Strackx, Raoul"

Publication

Automatically generating secure wrappers for SGX enclaves from separation logic specifications

Van Ginkel, Neline

;

Strackx, Raoul

;

Piessens, Frank

Proceedings paper

2017, Asian Symposium on Programming Languages and Systems - APLAS, 27/11/2017, p.105-123

Publication

Breaking virtual memory protection and the SGX ecosystem with foreshadow

Van Bulck, Jo

;

Minkin, Marina

;

Weisse, Ofir

;

Genkin, Daniel

;

Kasikci, Baris

;

Piessens, Frank

Journal article

2019, IEEE Micro, (39) 3, p.66-74

Publication

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

Proceedings paper

2018, 27th USENIX Security Symposium, 15/08/2018, p.991-1008

Publication

Hardening intel SGX applications: Balancing concerns

Vrancken, Kobe

;

Piessens, Frank

;

Strackx, Raoul

Proceedings paper

2017, Proceedings of the 2nd Workshop on System Software for Trusted Execution - SysTEX'17, 28/10/2017, p.Art. 2

Publication

Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic

Van Bulck, Jo

;

Piessens, Frank

;

Strackx, Raoul

Proceedings paper

2018, CCS '18 Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 15/10/2018, p.178-195

Publication

Off-limits: Abusing legacy x86 memory segmentation to Spy on enclaved execution

Gyselinck, Jago

;

Van Bulck, Jo

;

Piessens, Frank

;

Strackx, Raoul

Proceedings paper

2018, ESSoS 2018 : International Symposium on Engineering Secure Software and Systems, 26/06/2018, p.44-60

Publication

Securely deploying distributed computation systems on peer-to-peer networks

Vrancken, Kobe

;

Strackx, Raoul

;

Piessens, Frank

Proceedings paper

2019, SAC '19 Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 8/04/2019, p.328-337

Publication

Security guarantees for the execution infrastructure of software applications

Piessens, Frank

;

Devriese, Dominique

;

Mühlberg, Jan Tobias

;

Strackx, Raoul

Proceedings paper

2016, 2016 IEEE Cybersecurity Development - SecDev, 3/11/2016, p.81-87

Publication

SGX-step: A practical attack framework for precise enclave execution control

Van Bulck, Jo

;

Piessens, Frank

;

Strackx, Raoul

Proceedings paper

2017, Proceedings of the 2nd Workshop on System Software for Trusted Execution - SysTEX'17, 28/10/2017, p.Art. 4

Publication

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

Proceedings paper

2017, 26th USENIX Security Symposium, 16/08/2017, p.1041-1056

Publication

The Heisenberg defense: proactively defending SGX enclaves against page-table-based side-channel attacks

Strackx, Raoul

;

Piessens, Frank

Journal article

2017, CoRR, 1712.08519, p.1712.08519

Browsing by Author "Strackx, Raoul"