Publications

11 results for Pietro Ferrara

Foraging goes mobile: Foraging while debugging on mobile devices
- - David Piorkowski
  - Sean Penney
  - et al.
- 2017
- VL/HCC 2017
FASE: Functionality-aware security enforcement
- - Petar Tsankov
  - Marco Pistoia
  - et al.
- 2016
- ACSAC 2016
Pinpointing mobile malware using code analysis
- - Omer Tripp
  - Marco Pistoia
  - et al.
- 2016
- MOBILESoft 2016
MORPHDROID: Fine-grained privacy verification
- - Pietro Ferrara
  - Omer Tripp
  - et al.
- 2015
- ACSAC 2015
Automatic detection, correction, and visualization of security vulnerabilities in mobile apps
- - Marco Pistoia
  - Omer Tripp
  - et al.
- 2015
- MobileDeLi 2015
ShamDroid: Gracefully degrading functionality in the presence of limited resource access
- - Lucas Brutschy
  - Pietro Ferrara
  - et al.
- 2015
- OOPSLA 2015
The abstract domain of Trapezoid Step Functions
- - Agostino Cortesi
  - Giulia Costantini
  - et al.
- 2015
- Comput. Lang. Syst. Struct.
TouchGuru: Integrating static analysis with a mobile development environment
- - Lucas Brutschy
  - Pietro Ferrara
  - et al.
- 2014
- MobileDeLi 2014
Static analysis for independent app developers
- - Lucas Brutschy
  - Pietro Ferrara
  - et al.
- 2014
- OOPSLA 2014
Hybrid security analysis of web Javascript code via dynamic partial evaluation
- - Omer Tripp
  - Pietro Ferrara
  - et al.
- 2014
- ISSTA 2014