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