Registered user since Wed 20 Jan 2016
Name:Isabella Mastroeni
Country:Italy
Affiliation:University of Verona, Italy
Personal website:http://profs.scienze.univr.it/mastroeni/Welcome.html
Research interests:Static analysis, abstract interpretation, software security
Contributions
| VMCAI 2018 | Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile