< 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
11 - 20 of 271
- A Case for Unified ABI Shielding in Intel SGX Runtimes(2022)
Authors: Jo Van Bulck, Fritz Alder, Frank Piessens
Pages: 1 - 3Number of pages: 3 - Faulty Point Unit: ABI Poisoning Attacks on Trusted Execution Environments(2022)
Authors: Fritz Alder, Frank Piessens
- Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures(2022)
Authors: Márton Bognár, Jo Van Bulck, Frank Piessens
Pages: 1638 - 1655Number of pages: 18 - Proving full-system security properties under multiple attacker models on capability machines(2022)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pages: 80 - 95 - Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves(2021)
Authors: Fritz Alder, Frank Piessens, Tobias Mühlberg
Pages: 1357 - 1372Number of pages: 16 - Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks(2021)
Authors: Hans Winderix, Tobias Mühlberg, Frank Piessens
Pages: 667 - 682 - Securing Interruptible Enclaved Execution on Small Microprocessors(2021)
Authors: Jo Van Bulck, Frank Piessens
- Abstract Congruence Criteria for Weak Bisimilarity(2021)
Authors: Stylianos Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
Pages: 88:1 - 88:23 - Robust authentication for automotive control networks through covert channels(2021)
Authors: Jo Van Bulck, Frank Piessens, Tobias Mühlberg
- CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle(2021)
Authors: Stylianos Tsampas, Dominique Devriese, Frank Piessens
Pages: 1 - 16