FASE: Functionality-aware security enforcement
- Petar Tsankov
- Marco Pistoia
- et al.
- 2016
- ACSAC 2016
Publications
Date
Featured collections
Popular topics
11 results for Pietro Ferrara
MORPHDROID: Fine-grained privacy verification
- Pietro Ferrara
- Omer Tripp
- et al.
- 2015
- ACSAC 2015
Foraging goes mobile: Foraging while debugging on mobile devices
- David Piorkowski
- Sean Penney
- et al.
- 2017
- VL/HCC 2017
Pinpointing mobile malware using code analysis
- Omer Tripp
- Marco Pistoia
- et al.
- 2016
- MOBILESoft 2016
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
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
The abstract domain of Trapezoid Step Functions
- Agostino Cortesi
- Giulia Costantini
- et al.
- 2015
- Comput. Lang. Syst. Struct.