REGIS: Research Group in Information Security

Description

Il laboratorio REGIS (Research Group in Information Security) e' una struttura di ricerca del Dipartimento di Informatica della facolta' di Scienze MMFFNN dell'Universita' degli Studi di Verona, Italia.
La ricerca svolta all'interno del laboratorio si occupa principalmente dello studio e sviluppo di metodologie formali (basate su modelli matematici precisi) per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi, quali protocolli per la sicurezza, web services e architetetture orientate ai servizi.

Components

Luca Vigano'
Associate Professor
Alberto Calvi
Ph.D. Student
Federico De Meo
Ph.D. Student
Davide Guardini
Ph.D. Student
Michele Peroli
Ph.D. Student
Marco Rocchetto
Ph.D. Student
Marco Volpe
Research Associate
Matteo Zavatteri
Ph.D. Student
Skills
Topic Research area ISI-CRUI
Formal methods and theory of security Ingegneria del Software e Sicurezza
Security and privacy - Formal methods and theory of security
Computer Science & Engineering
Network security Ingegneria del Software e Sicurezza
Security and privacy - Network security
Computer Science & Engineering
Protezione del software Ingegneria del Software e Sicurezza
Security and privacy - Formal methods and theory of security
Computer Science & Engineering
Software and application security Ingegneria del Software e Sicurezza
Security and privacy - Software and application security
Computer Science & Engineering
Software creation and management Ingegneria del Software e Sicurezza
Software and its engineering - Software creation and management
Computer Science & Engineering
Software Verification Informatica teorica
Theory of computation - Logic
Computer Science & Engineering
Projects
Title People in charge Sponsors Starting date Duration (months)
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures Luca Vigano' Unione Europea 1/1/08 36
GeTFun: Generalizing Truth-Functionality Luca Vigano' 7PQ VALUTATI POSITIVAMENTE 1/1/12 48
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) Luca Vigano' Ministero dell'Istruzione dell'Università e della Ricerca 9/22/08 24
Security Horizons Luca Vigano' 2/1/13 36
SPaCIoS: Secure Provision and Consumption in the Internet of Services Luca Vigano' Unione Europea 10/1/10 36
ornamento
Top