Roberto Blanco
发表
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Dale Miller,
Roberto Blanco,
Tomer Libal,
2016
.
A. Momigliano,
Dale Miller,
Roberto Blanco,
2020
.
D. Garg,
Carmine Abate,
Roberto Blanco,
2019
.
Dale Miller,
Roberto Blanco,
2015
.
Catalin Hritcu,
D. Garg,
Roberto Blanco,
2021,
2022 IEEE 35th Computer Security Foundations Symposium (CSF).
Roberto Blanco,
Marco Patrignani,
Deepak Garg,
2021,
ACM Trans. Program. Lang. Syst..
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2019,
ESOP.
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Dale Miller,
Alberto Momigliano,
Roberto Blanco,
2019,
PPDP.
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
ArXiv.
B. Pierce,
A. Tolmach,
Leonidas Lampropoulos,
2021,
2023 IEEE 36th Computer Security Foundations Symposium (CSF).
Roberto Blanco,
Benjamin C. Pierce,
Leonidas Lampropoulos,
2021,
ArXiv.
D. Garg,
Carmine Abate,
Roberto Blanco,
2019,
ESOP.