Not registered as user yet

Name: Lucas M. Tabajara

Affiliation: Rice University

Contributions

PriSC 2019Author of Security Witnesses for Compiler Transformations within the PriSC 2019-track