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)
Mariano Ceccato
Professore associato
Matteo Cristani
Professore associato
Mila Dalla Preda
Professore associato
Alessandra Di Pierro
Professore associato
Roberto Giacobazzi
Professore ordinario
Isabella Mastroeni
Professore associato
Massimo Merro
Professore ordinario
Federica Maria Francesca Paci
Professore associato
Roberto Segala
Professore ordinario
Nicola Fausto Spoto
Professore associato
Competenze
Argomento Persone Descrizione
Formal methods and theory of security aderente allo standard  ACM 2012
Formal methods and theory of security Matteo Cristani
Roberto Segala
Development of formal, and possibly automated, methods for the analysis of the security of software systems
Formal methods for security analysis of cyber-physical systems Massimo Merro
Metodi formali per lo sviluppo di strumenti di verifica formali e automatici in grado di verificare la sicurezza di sistemi ciberfisici e sistemi IoT
Probabilistic Analysis of Security Alessandra Di Pierro
Roberto Segala
Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica
Protezione del software Mariano Ceccato
Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Sviluppo di tecniche formali e strumenti per la protezione del software.
Network security aderente allo standard  ACM 2012
Network security Matteo Cristani
Development of techniques and tools for the security of computer networks
Software and application security aderente allo standard  ACM 2012
Aspetti formali di sicurezza del software Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi.
Software and application security Federica Maria Francesca Paci
Development of security methodologies and technologies for the security of software systems and Internet applications
Software creation and management aderente allo standard  ACM 2012
Sintesi di codice Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Studio e sviluppo di tecniche per la sintesi di codice (o la trasformazione di codice) dalla specifica di proprietà semantiche del codice.
Software creation and management Federica Maria Francesca Paci
Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems
Software organization and properties aderente allo standard  ACM 2012
Analisi statica Mila Dalla Preda
Roberto Giacobazzi
Isabella Mastroeni
Nicola Fausto Spoto
Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi.
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.
Verification of wireless networks protocols Massimo Merro
Tecniche semantiche e di model checking, anche statistico, per la verifica della correttezza di protocolli di reti wireless
Gruppi di ricerca
Nome Descrizione URL
Blockchain L'attività del gruppo di ricerca riguarda diverse tematiche relative allo sviluppo e all'applicazione della tecnologia blockchain e dell'infrastruttura degli smart contracts.
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
Intelligenza Artificiale (IA) Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
K.Re.Art.I. Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica Logica in matematica ed informatica. https://www.logicverona.it/
Quantum Informatics Laboratory - QUILAB Laboratorio di Informatica Quantistica https://quilab.github.io
SPY
Progetti
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Valorizzazione attività di ricerca Matteo Cristani DIGITRONICA.IT SRL 08/11/23 2
Organizzazione di eventi divulgativi rivolti alle PMI del Veneto e realizzazione di contenuti digitali Mariano Ceccato UNIONE REGIONALE DELLE CAMERE DI COMMERCIO INDUSTRIA ARTIGIANATO E AGRICOLTURA DEL VENETO 01/09/23 3
Studio e formalizzazione di un algoritmo per il calcolo dinamico del prezzo di noleggio dei veicoli Nicola Fausto Spoto Noleggiare s.r.l. 28/07/23 6
Software as an asset Matteo Cristani Veronesi Holding s.p.a. 06/07/23 4
Testing Automatizzato di REST API Mariano Ceccato Muscope Cybersecurity S.r.l. 29/05/23 12
Studio di metodologie per lo sviluppo di strumenti e infrastrutture di trading meccanico Roberto Segala Investivity SA 02/05/23 36
Machine learning per il testing automatizzato di REST API Mariano Ceccato Equixely s.r.l. 18/01/23 3
Raccolta dei requisiti per un framework di ingegneria ambientale di modellazione dei processi fisici alla base del ciclo dell’acqua Mariano Ceccato MobyGIS Srl 21/07/22 3
Sviluppo di un motore semantico per l’analisi di descrizioni brevi di prodotti negli ordinativi Matteo Cristani IUNGO s.p.a. 08/06/22 3
Studio e implementazione di una soluzione software in Go verificata per gestione di identità SPID Nicola Fausto Spoto Tradenet Services SRL 20/04/22 8
Analisi generale del sistema informativo aziendale Matteo Cristani VENETO AGRICOLTURA - AGENZIA VENETA PER L’INNOVAZIONE NEL SETTORE PRIMARIO 20/12/21 20
Audit Colony Nicola Fausto Spoto Audit Colony SRL 01/11/21 12
SafePKT Nicola Fausto Spoto CJDNS SASU 01/07/21 6
JP2019 - BinTrace: Analisi di Similarità di codice binario basata sulle tracce di esecuzione Mila Dalla Preda RELATECH SPA 01/10/20 12
Studio e documentazione del framework di sviluppo Cosmos SDK per la programmazione di reti blockchain Nicola Fausto Spoto Commerc.io srl 01/10/20 2
Integrazione del linguaggio Takamaka di programmazione di smart contract in Java con la blockchain Takamaka e sua documentazione per l’utente Nicola Fausto Spoto Ailia SA 16/06/20 6
Software Watermarking Mila Dalla Preda Danieli Automation s.p.a. 10/06/20 14
The SMArt LAbel as a guarantee tool in the WInery-customer trust relationship for Venetian high quality Pgi wines) SMA.LA.WI Roberto Giacobazzi, Mila Dalla Preda Regione Veneto 01/04/19 36
Implementazione di un framework di programmazione in Java per contratti digitali Nicola Fausto Spoto Ailia SA 01/01/19 12
Progetto di eccellenza: Informatica per Industria 4.0 Franco Fummi, Alessandro Farinelli MIUR 01/01/18 60
Sviluppo di tecniche di analisi semantica di codice Java Nicola Fausto Spoto Julia s.r.l. 01/07/17 18
JP2016 - Determinazione anticipata di minacce mediante analisi approssimata di similarità in big-code Mila Dalla Preda Joint Projects - assegnato e gestito dal Dipartimento 01/03/17 24
JP2016 - Interpretazione astratta di COBOL Isabella Mastroeni Joint Projects - assegnato e gestito dal Dipartimento 01/03/17 24
Analisi e sviluppo di tecniche di analisi semantica di codice Java industriale Nicola Fausto Spoto Julia s.r.l. 01/07/15 24
La messa a punto di Strumenti innovativi per la ricerca semantica Nicola Fausto Spoto Corvallis S.p.A. 01/07/15 24
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
JP2014 - TRENDS - Tecnologie e Risorse per sfruttare i documenti InterNet e i Social media Nicola Fausto Spoto Techne Media Agency s.r.l. 01/01/15 24
JP2014 - Analisi basata sull'interpretazione astratta dei linguaggi di scripting Isabella Mastroeni Joint Projects - assegnato e gestito dal Dipartimento 01/12/14 24
JP2014 - Progettazione basata sull'interpretazione e misurazione delle trasformazioni del codice di protezione Roberto Giacobazzi Joint Projects - assegnato e gestito dal Dipartimento 01/11/14 24
Analisi statica per Applicazioni Android Affidabili Roberto Giacobazzi Julia s.r.l. 05/06/13 16
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) Maria Paola Bonacina 18/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

Attività

Strutture

Condividi