Browsing by author "Piessens, Frank"
Now showing items 21-40 of 60
-
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) -
FRP IoT Modules as a Scala DSL
Cloostermans, Ben; Reynders, Bob; Devriese, Dominique; Noorman, Job; Piessens, Frank (2017) -
Gavial: Programming the web with multi-tier FRP
Reynders, Bob; Piessens, Frank; Devriese, Dominique (2020) -
Hardening intel SGX applications: Balancing concerns
Vrancken, Kobe; Piessens, Frank; Strackx, Raoul (2017) -
Impossibility of precise and sound termination-sensitive security enforcements
Ngo, Minh; Piessens, Frank; Rezk, Tamara (2018) -
Improving privacy through fast passive Wi-Fi scanning
Goovaerts, Frederik; Acar, Gunes; Galvez Vizcaino, Rafael; Piessens, Frank; Vanhoef, Mathy (2019) -
Key reinstallation attacks: Forcing nonce Reuse in WPA2
Vanhoef, Mathy; Piessens, Frank (2017) -
Linear capabilities for fully abstract compilation of separation-logic-verified code
Van strydonck, Thomas; Piessens, Frank; Devriese, Dominique (2019) -
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
Van Bulck, Jo; Moghimi, Daniel; Schwarz, Michael; Lipp, Moritz; Minkin, Marina; Genkin, Daniel; Yarom, Yuval; Sunar, Berk; Gruss, Daniel; Piessens, Frank (2020) -
MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling
Bognar, Marton; Winderix, Hans; Van Bulck, Jo; Piessens, Frank (2023) -
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
Bognar, Marton; Van Bulck, Jo; Piessens, Frank (2022) -
Modular, fully-abstract compilation by approximate back-translation
Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven (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) -
Operating channel validation: Preventing multi-channel man-in-the-middle attacks against protected wi-fi networks
Vanhoef, Mathy; Bhandaru, Nehru; Derham, Thomas; Ouzieli, Ido; Piessens, Frank (2018) -
Parametricity versus the universal type
Devriese, Dominique; Patrignani, Marco; Piessens, Frank (2018) -
Plundervolt: Software-based Fault Injection Attacks against Intel SGX
Murdock, Kit; Oswald, David; Garcia, Flavio D.; Van Bulck, Jo; Gruss, Daniel; Piessens, Frank (2020) -
POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications
Scopelliti, Gianluca; Pouyanrad, Sepideh; Noorman, Job; Alder, Fritz; Piessens, Frank; Muehlberg, Jan Tobias (2021) -
PROSPECT: Provably Secure Speculation for the Constant-Time Policy
Daniel, Lesly-Ann; Bognar, Marton; Noorman, Job; Bardin, Sebastien; Rezk, Tamara; Piessens, Frank (2023) -
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Muhlberg, Jan Tobias; Piessens, Frank (2020)