Carmine Abate
发表
Roberto Blanco,
Benjamin C. Pierce,
Catalin Hritcu,
2018,
CCS.
Marco Patrignani,
Deepak Garg,
Carmine Abate,
2017
.
D. Garg,
Carmine Abate,
Roberto Blanco,
2019
.
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).
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
ArXiv.
Bas Spitters,
Théo Winterhalter,
Exequiel Rivas,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
D. Garg,
Carmine Abate,
Roberto Blanco,
2019,
ESOP.
Carmine Abate,
tefan Ciobâcă,
Roberto Blanco,
2019
.