- Programming Languages
- Security
- Systems
- +۳ مورد دیگر
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.