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