Ingegneria del software e sicurezza

La ricerca in quest'area copre diversi argomenti: analisi statica automatica, crittografia, definizioni di linguaggi formali, metodi formali, modelli formali per la sicurezza, verifica formale di software, logica per la verifica, malware, sistemi con alto parallelismo, sicurezza delle reti, linguaggi di programmazione paralleli e concorrenti, protocolli di sicurezza, servizi rivolti alla sicurezza, semantica, aspetti sociali relativi alla sicurezza e alla privacy, software e applicazioni per la sicurezza, architetture software, properta' funzionali del software, reverse engineering del software, modelli di sistemi software, verifica e validazione del software, linguaggi per la descrizione di sistemi, meccanismi di trust, UML, protocolli di sicurezza del web

Documenti

pdf Brochure di presentazione dell'area  (pdf,  it, 254 KB)
pdf Presentazione Research Day 2017  (pdf,  it, 5121 KB)
Matteo Cristani
Ricercatore
Mila Dalla Preda
Ricercatore a tempo determinato
Alessandra Di Pierro
Professore associato
Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Massimo Merro
Professore associato
Roberto Segala
Professore ordinario
Nicola Fausto Spoto
Professore associato
Luca Vigano'
Professore associato
Competenze
Argomento Persone Descrizione ISI-CRUI
Security and privacy - Formal methods and theory of security aderente allo standard  ACM 2012
Formal methods and theory of security Matteo Cristani
Roberto Segala
Luca Vigano'
Development of formal, and possibly automated, methods for the analysis of the security of software systems Computer Science & Engineering
Formal methods for security analysis of cyber-physical systems Massimo Merro
Development of formal, and possibly automated, methods for the security analysis of cyber-physical systems and IoT systems Computer Science & Engineering
Probabilistic Analysis of Security Alessandra Di Pierro
Roberto Segala
Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica
Protezione del software Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Luca Vigano'
Development of formal techniques and tools for the protection of software. Computer Science & Engineering
Security and privacy - Network security aderente allo standard  ACM 2012
Network security Matteo Cristani
Luca Vigano'
Development of techniques and tools for the security of computer networks Computer Science & Engineering
Security and privacy - Software and application security aderente allo standard  ACM 2012
Formal software and application security Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Computer Science & Engineering
Software and application security Luca Vigano'
Development of security methodologies and technologies for the security of software systems and Internet applications Computer Science & Engineering
Software and its engineering - Software creation and management aderente allo standard  ACM 2012
Code synthesis Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Computer Science & Engineering
Software creation and management Luca Vigano'
Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems Computer Science & Engineering
Verifica del software Luca Vigano'
Procedure di decisione per la soddisfacibilità modulo teorie e loro applicazione alla verifica di proprietà di programmi; generazione di invarianti mediante dimostrazione di teoremi; generazione di interpolanti mediante dimostrazione di teoremi; raffinamento di astrazioni per model checking o analisi statica mediante dimostrazione di teoremi Computer Science & Engineering
Software and its engineering - Software organization and properties aderente allo standard  ACM 2012
Quantitative Static Analysis Alessandra Di Pierro
Studio di metodi formali per l'analisi quantitativa dei programmi. Estensione delle tecniche classiche di analisi statica (data-flow, control-flow, abstract interpretation, type systems) all'analisi probabilistica e speculativa.
Static Analysis Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Durica Nikolic
Nicola Fausto Spoto
Studio di tecniche di analisi statica per linguaggi a oggetti e di basso livello. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Computer Science & Engineering
Verification of wireless networks protocols Massimo Merro
Semantics-based and model-checking techniques for the verification of wireless network protocols Computer Science & Engineering
Gruppi di ricerca
Nome Descrizione URL
K.Re.Art.I. Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica Logica in matematica ed informatica. https://logicseminarverona.wordpress.com/
QUILAB Quantum Informatics Laboratory
REGIS: Research Group in Information Security Studio e sviluppo di metodologie formali per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi http://regis.scienze.univr.it
SPY
Progetti
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 Isabella Mastroeni Maxfone s.r.l. 01/12/14 24
Analisi e sviluppo di tecniche di analisi semantica di codice Java industriale Nicola Fausto Spoto Julia s.r.l. 01/07/15 24
Analisi statica per Applicazioni Android Affidabili Roberto Giacobazzi Julia s.r.l. 05/06/13 16
IDACOP - Interpretation-based design and measurement of code-protecting transformations - Joint Projects 2014 Roberto Giacobazzi Irdeto Canada Corporation 01/11/14 24
La messa a punto di Strumenti innovativi per la ricerca semantica Nicola Fausto Spoto Corvallis S.p.A. 01/07/15 24
Security Horizons Luca Vigano' MIUR 01/02/13 36
Security Horizons Luca Vigano' MIUR 01/02/13 36
Security Horizons Luca Vigano' MIUR 01/02/13 36
Security Horizons Luca Vigano' MIUR 01/02/13 36
Static Analysis for Multithreading - Joint Project 2011 Massimo Merro Julia s.r.l. 01/01/13 30
Static Analysis for Multithreading - Joint Project 2011 Massimo Merro Julia s.r.l. 01/01/13 30
Studio e sperimentazione RIA (Rich Internet Application) per soluzioni web e mobile-RIA Nicola Fausto Spoto Add Value S.p.A. 16/01/15 12
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) Maria Paola Bonacina 18/02/13 36
TRENDS - Technologies and Resources for Exploiting interNet Documents and Social media - Joint Projects 2014 Nicola Fausto Spoto Techne Media Agency s.r.l. 01/01/15 36

Attività

Strutture