Analisi statica per Applicazioni Android Affidabili

Data inizio
5 giugno 2013
Durata (mesi) 
16
Dipartimenti
Informatica
Responsabili (o referenti locali)
Giacobazzi Roberto

Vengono sviluppate tecniche di analisi statica per la derivazione statica di
proprietà di programmi secondo condizioni di safety e security in applicazioni
android

Enti finanziatori:

Julia s.r.l.
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Nicola Fausto Spoto
Professore associato
Aree di ricerca coinvolte dal progetto
Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security

Attività

Strutture