Not registered as user yet

Name: Roberto Bruni

Affiliation: Dipartimento di Informatica, Universita’ di Pisa

Contributions

VMCAI 2018Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile