• Sign in
  • Sign up
conf.researchr.org / Klaus v. Gleissenthall
  • PLDI 2020 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • SPLASH 2017 profile
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

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

Share
xThu 21 Jan 12:46
using conf.researchr.org (v1.40.2)
Support page
Sign Up