Static analysis methods for the static derivation

Starting date
June 5, 2013
Duration (months)
16
Departments
Computer Science
Managers or local contacts
Giacobazzi Roberto

We develop static analysis methods for the static derivation
of constraints concerning the safety and secure run-time behaviour of android
applications

Sponsors:

Julia s.r.l.
Funds: assigned and managed by the department

Project participants

Roberto Giacobazzi
Full Professor
Isabella Mastroeni
Associate Professor
Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security

Activities

Research facilities