Roberto Bruni -

Registered user since Tue 12 Nov 2019

Name: Roberto Bruni

Country: Italy

Affiliation: University of Pisa

Personal website: http://www.di.unipi.it/~bruni

Contributions

POPL 2020	Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
VMCAI 2018	Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track