• Sign in
  • Sign up
conf.researchr.org / Lucas M. Tabajara
  • POPL 2019 profile
  • POPL 2020 profile
No Photo

Not registered as user

Name:Lucas M. Tabajara
Affiliation:Rice University

Contributions

2020

VMCAI

  • Author of Witnessing Secure Compilation within the VMCAI 2020-track

2019

PriSC

  • Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track
Share
xThu 8 May 23:35
using conf.researchr.org (v1.69.0)
Support page
Sign Up