Frank Piessens

Frank Piessens

I am a professor in the research group DistriNet (Distributed Systems and Computer Networks) at the Computer Science department of the Katholieke Universiteit Leuven.

Research Interests

My main research interests are in the field of software security, where I focus on the development of high-assurance techniques to deal with implementation-level software vulnerabilities and bugs, including techniques such as software verification, run-time monitoring, type systems, language based security and hardware-software co-design for security. These techniques are relevant for many types of software systems, including web applications, embedded software, mobile applications and so forth.

 

Selected recent PC memberships

 

Key publications:

  1. Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yarom Yuval, Berk Sunar, Daniel Gruss, Frank Piessens, LVI: Hijacking transient execution through microarchitectural load value injection, 41st IEEE Symposium on Security and Privacy (S&P?20), 41st IEEE Symposium on Security and Privacy (S&P?20), 19 pages, virtual, May 18-21, 2020 3004715bibtex   3004715lirias 3004715doi
  2. Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F Wenisch, Yuval Yarom, Raoul Strackx, Foreshadow: Extracting the keys to the Intel SGX kingdom with transient out-of-order execution, (eds. William Enck, Adrienne Porter Felt), 27th USENIX Security Symposium, Proceedings fo the 27th USENIX Security Symposium, 18 pages, Baltimore, MD, USA, August 15-17, 2018 download0 2089351bibtex   2089351lirias
  3. Mathy Vanhoef, Frank Piessens, Key reinstallation attacks: Forcing nonce reuse in WPA2, (eds. Bhavani M Thuraisingham, David Evans, Tal Malkin, Dongyan Xu), ACM SIGSAC Conference on Computer and Communications Security (CCS 2017), Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS 2017), pages 1313-1328, Dallas, TX, October 30 - November 3, 2017 download0 1628526bibtex   1628526lirias 1628526doi
  4. Pieter Agten, Bart Jacobs, Frank Piessens, Sound modular verification of C code executing in an unverified context, (eds. Sriram K Rajamani, David Walker), Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015) , volume 50, issue 1, pages 581-594, Association for Computing Machinery, January 15, 2015 download0 95655bibtex   95655lirias 95655doi
  5. Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, Frank Piessens, Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base, (ed. Samuel T King), USENIX Security Symposium , 22nd USENIX Security symposium , pages 479-494, Washington D.C., August 14-16, 2013 download0 1656058bibtex   1656058lirias
[More...]
 

 

Contact info

  • Office: 03.167
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A - bus 2402
    B-3001 Heverlee
    BELGIUM
  • Tel: +32 16 327603
  • Fax: +32 16 327996
  • Email: Frank Piessens