< Back to previous page
Researcher
Frank Piessens
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 10 of 40
- Hardware-software co-designs for end-to-end securityFrom1 Oct 2023 → TodayFunding: FWO junior postdoctoral fellowship
- Defending Against Microarchitectural Attacks Through Hardware/Software CodesignFrom10 Jul 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Open-source ReSilient Hardware and software for Internet of thiNgsFrom1 Oct 2022 → TodayFunding: HORIZON.2.3 - Civil Security for Society
- A principled approach to cross-layer software and hardware design for securityFrom1 Jan 2022 → TodayFunding: FWO research project (including WEAVE projects)
- Software-based Side-Channel Hardening for Enclave ApplicationsFrom1 Oct 2021 → TodayFunding: FWO junior postdoctoral fellowship
- Predictable resource sharing and resource availability with Trusted Execution EnvironmentsFrom9 Aug 2019 → 31 Oct 2023Funding: FWO fellowships
- Evaluating trade-offs between performance and security in hardware and system softwareFrom1 Jan 2019 → 31 Dec 2022Funding: FWO research project (including WEAVE projects)
- Testing and Verifying Network Protocol ImplementationsFrom1 Oct 2017 → 31 Aug 2022Funding: FWO fellowships
- Provably preserving software security properties against layer-below attacksFrom20 Sep 2017 → 15 Jul 2022Funding: FWO fellowships
- Advanced Techniques for Cloud SecurityFrom5 Oct 2016 → 5 Oct 2020Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
21 - 30 of 271
- Formal Reasoning about Equivalences: from Secure Compilation to Categorical Weak Bisimulation(2021)
Authors: Stylianos Tsampas, Frank Piessens, Dominique Devriese
- Linear capabilities for fully abstract compilation of separation-logic-verified code(2021)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
- POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications(2021)
Authors: Gianluca Scopelliti, Fritz Alder, Frank Piessens, Tobias Mühlberg
Pages: 2393 - 2395Number of pages: 3 - Faulty Point Unit: ABI Poisoning Attacks on Intel SGX(2020)
Authors: Fritz Alder, Jo Van Bulck, Frank Piessens
Number of pages: 13 - Securing the Interaction of Software Modules across Security Boundaries(2020)
Authors: Neline van Ginkel, Frank Piessens, Lieven Desmet
- Microarchitectural Side-Channel Attacks for Privileged Software Adversaries(2020)
Authors: Jo Van Bulck, Frank Piessens
- Contributions to Multimode and Presheaf Type Theory(2020)
Authors: Andreas Nuyts, Frank Piessens, Dominique Devriese
- Secure End-to-End Sensing in Supply Chains(2020)
Authors: Fritz Alder, Tobias Mühlberg, Frank Piessens
Number of pages: 6 - Provably secure isolation for interruptible enclaved execution on small microprocessors.(2020)
Authors: Job Noorman, Jo Van Bulck, Tobias Mühlberg, Frank Piessens
Pages: 262 - 276 - Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble(2020)
Authors: Jo Van Bulck, Frank Piessens
Pages: 28 - 37