< 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
31 - 40 of 40
- Server-driven Outbound Web-application Sandboxing.From1 Oct 2010 → 31 Mar 2014Funding: General Activities (Annex IV)
- Verification of imperative programs.From1 Oct 2010 → 30 Sep 2013Funding: FWO fellowships
- Specification and Verification of Imperative Programs.From1 Oct 2009 → 19 Oct 2010Funding: BOF - Other initiatives
- Hybrid enforcement and certification of domain specific program annotations.From1 Oct 2009 → 30 Sep 2015Funding: BOF - Concerted Research Project from 1994
- Efficient isolation of trusted subsystems in commodity operating systems.From8 Sep 2009 → 31 Dec 2014Funding: IWT personal funding - strategic basic research grants
- Development of information flow policy enforcement techniques.From22 Jun 2009 → 30 Sep 2014Funding: FWO fellowships
- Highly adaptable and trustworthy software using formal models (HATS).From1 Mar 2009 → 28 Feb 2013Funding: General Activities (Annex IV)
- Security engineering for lifelong evolvable systems (SecureChange).From1 Feb 2009 → 31 Jan 2012Funding: General Activities (Annex IV)
- Formalisation and Soundness of Static Verification Algorithms for Imperative ProgramsFrom5 Feb 2008 → 13 Dec 2012Funding: Own budget, for example: patrimony, inscription fees, gifts
- Security of Software on Mobile DevicesFrom10 Jan 2008 → 20 Oct 2010Funding: 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