Browsing by author "Piessens, Frank"
Now showing items 41-60 of 60
-
Prudent design principles for information flow control
Bastys, Iulia; Piessens, Frank; Sabelfeld, Andrei (2018) -
Release the Kraken: New KRACKs in the 802.11 standard
Vanhoef, Mathy; Piessens, Frank (2018) -
Robust authentication for automotive control networks through covert channels
Vanderhallen, Stien; Van Bulck, Jo; Piessens, Frank; Muhlberg, Jan Tobias (2021) -
Sancus 2.0: A low-cost security architecture for IoT devices
Noorman, Job; Van Bulck, Jo; Mühlberg, Jan Tobias; Piessens, Frank; Maene, Pieter; Preneel, Bart; Verbauwhede, Ingrid; Götzfried, Johannes; Müller, Tilo; Freiling, Felix (2017) -
Scalagna 0.1: Towards multi-tier programming with Scala and Scala.js
Reynders, Bob; Greefs, Michael; Devriese, Dominique; Piessens, Frank (2018) -
Secure End-to-End Sensing in Supply Chains
Pennekamp, Jan; Alder, Fritz; Matzutt, Roman; Muehlberg, Jan Tobias; Piessens, Frank; Wehrle, Klaus (2020) -
Securely deploying distributed computation systems on peer-to-peer networks
Vrancken, Kobe; Strackx, Raoul; Piessens, Frank (2019) -
Securing Interruptible Enclaved Execution on Small Microprocessors
Busi, Matteo; Noorman, Job; Van Bulck, Jo; Galletta, Letterio; Degano, Pierpaolo; Muhlberg, Jan Tobias; Piessens, Frank (2021) -
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) -
ShowTime: Amplifying Arbitrary CPU Timing Side Channels
Purnal, Antoon; Bognar, Marton; Piessens, Frank; Verbauwhede, Ingrid (2023) -
Software security
Piessens, Frank (2018) -
Symbolic execution of security protocol implementations: handling cryptographic primitives
Vanhoef, Mathy; Piessens, Frank (2018) -
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) -
Temporal safety for stack allocated memory on capability machines
Tsampas, Stelios; Devriese, Dominique; Piessens, Frank (2019) -
The Heisenberg defense: proactively defending SGX enclaves against page-table-based side-channel attacks
Strackx, Raoul; Piessens, Frank (2017) -
Towards automatic compartmentalization of C programs on capability machines
Tsampas, Stylianos; El-Korashy, Akram; Patrignani, Marco; Devriese, Dominique; Garg, Deepak; Piessens, Frank (2017) -
Tracking information flow via delayed output: Addressing privacy in IoT and emailing apps
Bastys, Lulia; Piessens, Frank; Sabelfeld, Andrei (2018) -
Verifying the security of enclaved execution against interrupt-based side-channel attacks
Piessens, Frank (2019) -
VulCAN: Efficient component authentication and software isolation for automotive control networks
Van Bulck, Jo; Mühlberg, Jan Tobias; Piessens, Frank (2017)