Scholar
Frank Piessens
Google Scholar ID: Px63T5YAAAAJ
Professor of Computer Science, Katholieke Universiteit Leuven
Security
Software Security
Programming Languages
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
20,280
H-index
66
i10-index
250
Publications
20
Co-authors
162
list available
Publications
4 items
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
2026
Cited
0
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
2026
Cited
0
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
Conference on Computer and Communications Security · 2024
Cited
0
Automated Fuzzing of Automotive Control Units
International Workshop on Secure Internet of Things · 2019
Cited
5
Co-authors
12 total
Bart Jacobs
Professor of Computer Science, Katholieke Universiteit Leuven
Dominique Devriese
KU Leuven
Jo Van Bulck
DistriNet, KU Leuven
Lieven Desmet
Professor Security & Privacy, DistriNet Research Group, KU Leuven
Nick Nikiforakis
Associate Professor, Stony Brook University
Jan Tobias Muehlberg
Prof. for Embedded Systems Security, Universite Libre de Bruxelles, Belgium
Mathy Vanhoef
DistriNet, KU Leuven
Bart Preneel
Professor, KU Leuven
