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
Sicurezza informatica
Formal methods and theory of security  (DI)
Ingegneria del Software e verifica formale
Formal methods and theory of security  (DI)

Attività

Strutture

Condividi