- Software Security
- Systems Security
- Formal Methods
- +۲ مورد دیگر
Frank Piessens is a Professor in the Department of Computer Science at KU Leuven, Belgium. His work spans both offensive and defensive aspects of software and systems security, with a focus on formal verification, programming languages, and security architectures. He has served as program chair for major security conferences like POST 2016, IEEE Euro S&P 2018-2019, and IEEE SecDev 2021-2022. Software Security Systems Security Formal Methods Programming Languages Information Flow Security His research bridges theoretical and practical domains. On the defensive side, he has advanced formal verification for C-like languages, memory safety hardening, and micro-architectural side-channel mitigation. On the attack side, he has contributed to transient execution and memory safety exploitation frameworks. His recent work (2024) explores compiler support for control-flow linearization using architectural mimicry, while earlier publications (2021-2014) cover functional reactive programming, secure compilation, and dependently typed verification. Frank has consistently engaged with academic communities, serving on program committees for ACM CCS, Usenix Security, and IEEE Security & Privacy. He co-authored key papers in venues like POPL, ICFP, and PriSC. His lab, Distrinet, focuses on distributed systems and security research. No explicit details about scientific awards or student advisement are present in the provided data.









