< 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
11 - 20 of 40
- Advanced Security Primitives and Applications of Protected-Module ArchitecturesFrom1 Oct 2016 → 30 Sep 2019Funding: FWO fellowships
- TEARLESS: Secure Coordination of Rich Internet Applications TiersFrom1 Jan 2016 → 31 Dec 2019Funding: FWO Strategic Basic Research (SBO)
- A security architecture for the Internet of ThingsFrom1 Jan 2016 → 31 Dec 2019Funding: FWO research project (including WEAVE projects)
- Theory, implementation and applications of directed dependent type theoriesFrom1 Jan 2016 → 31 Aug 2020Funding: FWO fellowships
- Security and Privacy for Cyber-Physical Systems and the Internet of ThingsFrom1 Oct 2015 → 30 Sep 2022Funding: BOF - Concerted Research Project from 1994
- Securing the Interaction of Software Modules across Security BoundariesFrom28 Sep 2015 → 2 Oct 2020Funding: Own budget, for example: patrimony, inscription fees, gifts
- A Security Architectures with Real-Time Availability Guarantees for Extensible Embedded systems.From23 Sep 2015 → 30 Sep 2020Funding: FWO fellowships
- Object Capabilities and Effect Polymorphism: Theory and Applications.From1 Oct 2014 → 30 Sep 2018Funding: FWO fellowships
- Large-scale analysis of attack techniques on Internet domain namesFrom2 Sep 2014 → 24 Aug 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- Multi-tier Functional Reactive programmingFrom2 Sep 2014 → 31 Dec 2019Funding: FWO Strategic Basic Research Grant
Publications
1 - 10 of 271
- Interface Sanitization and Real-Time Scheduling for Enclaved Execution(2023)
Authors: Fritz Alder, Frank Piessens, Jo Van Bulck, Tobias Mühlberg
- Transient Execution Attacks(2023)
Authors: Frank Piessens
Pages: 79 - 84 - AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves(2023)
Authors: Jo Van Bulck, Frank Piessens
Pages: 4051 - 4068 - CHERI-TrEE: Flexible enclaves on capability machines(2023)
Authors: Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Pages: 1143 - 1159 - End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs(2023)
Authors: Gianluca Scopelliti, Fritz Alder, Frank Piessens, Tobias Mühlberg
Pages: 1 - 46 - ProSpeCT: Provably Secure Speculation for the Constant-Time Policy(2023)
Authors: Lesly-Ann Daniel, Márton Bognár, Frank Piessens
Pages: 7161 - 7178 - MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling(2023)
Authors: Márton Bognár, Hans Winderix, Jo Van Bulck, Frank Piessens
Pages: 651 - 670 - ShowTime: Amplifying Arbitrary CPU Timing Side Channels(2023)
Authors: Antoon Purnal, Márton Bognár, Frank Piessens, Ingrid Verbauwhede
Pages: 205 - 217 - Two Parametricities Versus Three Universal Types(2022)
Authors: Dominique Devriese, Frank Piessens
- Formal Reasoning about Hardware Capability Architectures(2022)
Authors: Thomas Van Strydonck, Dominique Devriese, Frank Piessens