REGIS: Research Group in Information Security
- Contact people
- Luca Vigano'
- URL
- http://regis.sci.univr.it
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
- Michele Barletta
- Research Associate
- Alberto Calvi
- Ph.D. Student
- Davide Guardini
- Ph.D. Student
- Michele Peroli
- Ph.D. Student
- Marco Rocchetto
- Ph.D. Student
- Marco Volpe
- Research Associate
| Topic | Research area | ISI-CRUI |
|---|---|---|
| Formal methods and theory of security |
Software Engineering and Security
Security and privacy - Formal methods and theory of security |
Computer Science & Engineering |
| Network security |
Software Engineering and Security
Security and privacy - Network security |
Computer Science & Engineering |
| Protezione del software |
Software Engineering and Security
Security and privacy - Formal methods and theory of security |
Computer Science & Engineering |
| Software and application security |
Software Engineering and Security
Security and privacy - Software and application security |
Computer Science & Engineering |
| Software creation and management |
Software Engineering and Security
Software and its engineering - Software creation and management |
Computer Science & Engineering |
| Software Verification |
Theory of computation
Theory of computation - Logic |
Computer Science & Engineering |
| 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 |
| SPaCIoS: Secure Provision and Consumption in the Internet of Services | Luca Vigano' | Unione Europea | 10/1/10 | 36 |
