Klaus von Gleissenthall

Klaus von Gleissenthall is a tenured Assistant Professor in Computer Science at Vrije Universiteit Amsterdam, affiliated with the Theory Group and VUSec security lab. He holds a joint appointment with CWI's Computer Security group. Previously, he was a post-doc at UCSD and completed his PhD at TUM under a Microsoft Research scholarship.

His research integrates programming languages, security, and systems to develop formally verified, low-overhead solutions for hardware/software correctness. Key focus areas include:

• Side-channel attack mitigation via leakage contracts
• Refinement-type systems for hardware verification
• Byzantine fault tolerance in distributed systems

Publications demonstrate strong emphasis on hardware security (45% of recent papers), formal methods (30%), and distributed systems (25%), with consistent appearances in top-tier venues (S&P, CCS, OOPSLA).

Awards & Honors:

• ERC Starting Grant (€1.5M, 2024)
• Intel Hardware Security Award Honorable Mention (2020, 2024)
• Distinguished Paper Awards: CCS'23, OOPSLA'23, POPL'21

He advises four PhD students and two post-docs, supported by his ERC grant. Current projects include refinement types for hardware and pre-silicon leak detection.

His lab collaborates with VUSec and CWI, focusing on scalable verification tools like LLVM Blade and methodologies for constant-time execution guarantees.