conf.researchr.org / Roberto Blanco

Not registered as user yet

Name:Roberto Blanco
Affiliation:Inria

Contributions

PriSC 2020 Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track
ML 2018 Author of Design and verification of functional proof checkers within the ML 2018-track