< 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
21 - 30 of 40
- Light weight Trust Evidence.From1 Jan 2014 → 31 Dec 2017Funding: FWO research project (including WEAVE projects)
- Dependently typed programming for secure and correct web applicationsFrom1 Oct 2013 → 30 Sep 2017Funding: FWO fellowships
- Safe Meta-programming for the Web.From3 Sep 2013 → 31 Dec 2018Funding: IWT personal funding - strategic basic research grants
- Secure compilation of high-level languages to machine code.From1 Oct 2012 → 30 Sep 2016Funding: FWO fellowships
- Low-level software security.From2 Jul 2012 → 31 Dec 2017Funding: IWT personal funding - strategic basic research grants
- Modular handling of effects in purely functional programs and models.From1 Jan 2012 → 31 Dec 2015Funding: FWO research project (including WEAVE projects)
- Countermeasure technologies for web application vulnerabilities.From17 Oct 2011 → 31 Dec 2016Funding: IWT personal funding - strategic basic research grants
- Static and dynamic countermeasures for implementation-level vulnerabilities.From3 Oct 2011 → 30 Sep 2015Funding: FWO fellowships
- New techniques for symbolic execution and state coverage.From1 Oct 2011 → 30 Sep 2014Funding: Own budget, for example: patrimony, inscription fees, gifts
- Modular Semi-automatic Formal Verification of Critical Systems SoftwareFrom6 Sep 2011 → 25 Sep 2017Funding: Own budget, for example: patrimony, inscription fees, gifts
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