conf.researchr.org / Klaus v. Gleissenthall
Klaus v. Gleissenthall

Registered user since Mon 28 Aug 2017

Name: Klaus v. Gleissenthall

Affiliation: University of California at San Diego, USA

Contributions

PriSC 2020Author of Short Talk: Automatically Eliminating Speculative Leaks With Blade within the Principles of Secure Compilation 2020-track
PLDI 2020Author of Constant-Time Foundations for the New Spectre Era within the PLDI Research Papers-track
POPL 2019Author of Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs within the Research Papers-track
SPLASH 2017Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track