Isabella Mastroeni

Registered user since Wed 20 Jan 2016

Name:Isabella Mastroeni
Country:Italy
Affiliation:University of Verona, Italy
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