Luca Vigano'

  1. Home
  2. Dipartimento
  3. Persone
  4. Luca Vigano'
Luca Vigano`, 7 ottobre 2007
Qualifica
Incaricato alla ricerca
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Fax
+39 0458027068
E-mail
luca|vigano*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~vigano

Orario di ricevimento

su appuntamento concordato per email

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 23.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Ingegneria del software (2012/2013)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2012/2013)   6  eLearning 6 
Laurea in Informatica Ingegneria del software (2011/2012)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2011/2012)   6  eLearning 6 
Laurea in Informatica Ingegneria del software (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2010/2011)   6    6 
Master in Computer Game Development Fundamentals of Software Engineering (2009/2010)   4    4 
Laurea in Informatica Ingegneria del software (2009/2010)   6    6 
Laurea in Informatica Logica per informatica (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sicurezza delle reti (2009/2010)   6    6 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2008/2009)   10    1  Laboratorio modulo II
1  Laboratorio modulo I
4  Teoria modulo I
4  Teoria modulo II
Laurea specialistica in Informatica Sicurezza delle reti e dei sistemi (2008/2009)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2007/2008)   10    4  Teoria modulo I
1  Laboratorio modulo II
4  Teoria modulo II
1  Laboratorio modulo I
Laurea specialistica in Informatica Sicurezza delle reti e dei sistemi (2007/2008)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architetture software (2006/2007)   10    4  Teoria (modulo I)
4  Teoria (modulo II)
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2006/2007)   5    5 

 

Gruppi di ricerca

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
Competenze
Argomento Descrizione Area di ricerca
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Ingegneria del Software e Sicurezza
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Ingegneria del Software e Sicurezza
Network security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Ingegneria del Software e Sicurezza
Formal methods and theory of security
Software and application security Development of security methodologies and technologies for the security of software systems and Internet applications Ingegneria del Software e Sicurezza
Software and application security
Software creation and management Study and development of formal and semi-formal methodologies and technologies for the creation and management of software systems Ingegneria del Software e Sicurezza
Software creation and management
Verifica del software 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 Ingegneria del Software e Sicurezza
Software creation and management
Progetti
Titolo Data inizio
Security Horizons 01/02/13
Generalizing Truth-Functionality: GeTFun 01/01/13
GeTFun: Generalizing Truth-Functionality 01/01/12
SPaCIoS: Secure Provision and Consumption in the Internet of Services 01/10/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 22/09/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 01/01/08
Metodi formali per security engineering - CoperInt 2006 01/10/07




Organizzazione

Strutture del dipartimento