Enrico Steffinlongo -

Registered user since Thu 18 Dec 2014

Name:Enrico Steffinlongo

Contributions

ICSE 2019	Author of SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer within the Demonstrations-track
ESOP 2015	Author of Fine-grained Detection of Privilege Escalation Attacks on Browser Extensions within the ESOP-track