• Sign in
  • Sign up
conf.researchr.org / Roberto Blanco
  • ICFP 2018 profile
  • POPL 2020 profile
  • POPL 2022 profile

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

Share
xMon 6 Feb 16:08
using conf.researchr.org (v1.58.0)
Support page
Sign Up