• 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

2021

PriSC

  • Author of High-Assurance Cryptography in the Spectre Era within the PriSC 2021-track

2020

PLDI

  • Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

POPL

  • Author of A Probabilistic Separation Logic within the Research Papers-track
Share
xFri 20 Jun 15:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up