• Sign in
  • Sign up
conf.researchr.org / Kevin Liao
  • PLDI 2020 profile
  • POPL 2020 profile
  • POPL 2021 profile

Registered user since Tue 21 Jan 2020

Name:Kevin Liao
Affiliation:Max Planck Institute for Security and Privacy

Contributions

PriSC 2021 Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2020 Author of A Probabilistic Separation Logic within the Research Papers-track

Share
xMon 6 Feb 17:01
using conf.researchr.org (v1.58.0)
Support page
Sign Up