< 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
231 - 240 of 271
- A quick tour of the VeriFast program verifier(2010)
Authors: Bart Jacobs, Jan Smans, Frank Piessens
Pages: 304 - 311 - Security of Software on Mobile Devices (Beveiliging van software op mobiele toestellen)(2010)
Authors: Pieter Philippaerts, Frank Piessens, Wouter Joosen
Number of pages: 134 - Efficient isolation of trusted subsystems in embedded systems(2010)
Authors: Raoul Strackx, Frank Piessens, Bart Preneel
Pages: 344 - 361 - Heap-dependent expressions in separation logic(2010)
Authors: Jan Smans, Bart Jacobs, Frank Piessens
Pages: 170 - 185 - Improving memory management security for C and C++(2010)
Authors: Yves Younan, Wouter Joosen, Frank Piessens, Hans Van den Eynden
Pages: 57 - 82 - Efficient and effective buffer overflow protection on ARM processors(2010)
Authors: Raoul Strackx, Yves Younan, Pieter Philippaerts, Frank Piessens
Pages: 1 - 16 - PAriCheck: an efficient pointer arithmetic checker for C programs(2010)
Authors: Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen
Pages: 145 - 156 - A machine-checked soundness proof for an efficient verification condition generator(2010)
Authors: Frédéric Vogels, Bart Jacobs, Frank Piessens
Pages: 2517 - 2522 - Automatic verification of Java programs with dynamic frames(2010)
Authors: Jan Smans, Bart Jacobs, Frank Piessens
Pages: 423 - 457 - CsFire: Transparent client-side mitigation of malicious cross-domain requests(2010)
Authors: Philippe De Ryck, Lieven Desmet, Thomas Heyman, Frank Piessens, Wouter Joosen
Pages: 18 - 34