Klaus v. Gleissenthall -

Registered user since Mon 28 Aug 2017

Name:Klaus v. Gleissenthall

Affiliation:Vrije Universiteit Amsterdam, Netherlands

Personal website: http://goto.ucsd.edu/~gleissen/

Contributions

2024

PLDI

2022

PLDI

Committee Member in PLDI within the PLDI-track
Author of (PLDI 2020) Constant-Time Foundations for the New Spectre Era within the SIGPLAN Track-track
Author of (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the SIGPLAN Track-track

CORA

Author of Pretend synchrony: synchronous verification of asynchronous distributed programs within the Commute 2022-track

2021

POPL

Author of Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade within the POPL-track

2020

PLDI

Author of Constant-Time Foundations for the New Spectre Era within the PLDI Research Papers-track

PriSC

Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track

2019

POPL

Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track

2017

SPLASH

Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track