Browsing by author "Piessens, Frank"
Now showing items 1-20 of 60
-
A principled approach to tracking information flow in the presence of libraries
Hedin, Daniel; Sjösten, Alexander; Piessens, Frank; Sabelfeld, Andrei (2017) -
A server-side JavaScript security architecture for secure integration of third-party libraries
Van Ginkel, Neline; De Groef, Willem; Massacci, Fabio; Piessens, Frank (2019) -
A tale of two worlds: Assessing the vulnerability of enclave shielding runtimes
Van Bulck, J.; Oswald, D.; Marin, E.; Aldoseri, A.; Garcia, F.D.; Piessens, Frank (2019) -
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves
Constable, Scott; Van Bulck, Jo; Cheng, Xiang; Xiao, Yuan; Xing, Cedric; Alexandrovich, Ilya; Kim, Taesoo; Piessens, Frank; Vij, Mona; Silberstein, Mark (2023) -
AION: Enabling Open Systems through Strong Availability Guarantees for Enclaves
Alder, Fritz; Van Bulck, Jo; Piessens, Frank; Muhlberg, Jan Tobias (2021) -
Authentic execution of distributed event-driven applications with a small TCB
Noorman, Jan; Mühlberg, Jan Tobias; Piessens, Frank (2017) -
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) -
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks
Winderix, Hans; Muhlberg, Jan Tobias; Piessens, Frank (2021) -
COPYCAT: Controlled Instruction-Level Attacks on Enclaves
Moghimi, Daniel; Van Bulck, Jo; Heninger, Nadia; Piessens, Frank; Sunar, Berk (2020) -
CopyCat: Controlled instruction-level attacks one enclaves for maximal key extraction
Moghimi, Daniel; Van Bulck, Jo; Heninger, Nadia; Piessens, Frank; Sunar, Berk (2020) -
Denial-of-service attacks against the 4-way Wi-Fi handshake
Vanhoef, Mathy; Piessens, Frank (2017) -
Discovering logical vulnerabilities in the Wi-Fi handshake using model-based testing
Vanhoef, Mathy; Schepers, Domien; Piessens, Frank (2017) -
Elmsvuur: A multi-tier version of Elm and its time-traveling debugger
Horemans, Jeff; Reynders, Bob; Devriese, Dominique; Piessens, Frank (2018) -
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
Scopelliti, Gianluca; Pouyanrad, Sepideh; Noorman, Job; Alder, Fritz; Baumann, Christoph; Piessens, Frank; Muhlberg, Jan Tobias (2023) -
Experience report: functional reactive programming and the DOM
Reynders, Bov; Devriese, Dominique; Piessens, Frank (2017) -
Exploring the ecosystem of malicious domain registrations in the .eu TLD
Vissers, Thomas; Spooren, Jan; Agten, Pieter; Jumpertz, Dirk; Janssen, Peter; Van Wesemael, Marc; Piessens, Frank; Joosen, Wouter; Desmet, Lieven (2017) -
Fallout: Leaking data on meltdown-resistant CPUs
Canella, C.; Genkin, D.; Giner, L.; Gruss, D.; Lipp, M.; Minkin, M.; Moghini, D.; Piessens, Frank; Schwarz, M.; Sunar, B.; Van Bulck, J.; Yarom, Y. (2019) -
Fallout: Reading Kernel writes from user space
Minkin, M.; Moghimi, D.; Lipp, Moritz; Schwarz, M.; Van Bulck, Jo; Genkin, D.; Gruss, D.; Piessens, Frank; Sunar, B.; Yarom, Y. (2019-05) -
Faulty Point Unit: ABI Poisoning Attacks on Intel SGX
Alder, Fritz; Van Bulck, Jo; Oswald, David; Piessens, Frank (2020)