• Sign in
  • Sign up
conf.researchr.org / Enrico Steffinlongo
  • ESOP 2015 profile
  • ICSE 2019 profile
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

Share
xTue 21 Mar 18:07
using conf.researchr.org (v1.59.1)
Support page
Sign Up