Federica Panarotto

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Symbolic Execution

Static Analysis

Mobile Platforms

Test Generation

Top Venues

Softw. Pract. Exp.

Publications

Amit Kr Mandal, Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Fausto Spoto
Static analysis of Android Auto infotainment and on-board diagnostics II apps. Softw. Pract. Exp. 49 (7) (2019)
Amit Kr Mandal, Agostino Cortesi, Pietro Ferrara, Federica Panarotto, Fausto Spoto
Vulnerability analysis of Android auto infotainment apps. CF (2018)
Federica Panarotto, Agostino Cortesi, Pietro Ferrara, Amit Kr Mandal, Fausto Spoto
Static Analysis of Android Apps Interaction with Automotive CAN. SmartCom (2018)
Alessandra Di Pierro, Federica Panarotto
A Calculus of Anyons. WoLLIC (2014)