Luca Vigano'

  1. Home
  2. Department
  3. People
  4. Luca Vigano'
Luca Vigano`, October 7, 2007
E-mail
luca|vigano*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
November 30, 2022
Position
Research Assistants

Modules

Modules running in the period selected: 23.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Network security (2012/2013)   6    6 
Bachelor's degree in Computer Science Software Engineering (2012/2013)   6    6 
Master's degree in Computer Science and Engineering Network security (2011/2012)   6    6 
Bachelor's degree in Computer Science Software Engineering (2011/2012)   6    6 
Master's degree in Computer Science and Engineering Network security (2010/2011)   6    6 
Bachelor's degree in Computer Science Software Engineering (2010/2011)   6    6 
Bachelor's degree in Computer Science Logic for computer science (2009/2010)   6    6 
Master's degree in Computer Science and Engineering Network security (2009/2010)   6    6 
Bachelor's degree in Computer Science Software Engineering (2009/2010)   6    6 
Professional Master's programme in Computer game development Fundamentals of Software Engineering (2009/2010)   4    4 
Masters in Computer Science Network and systems security (2008/2009)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Software Architecture (2008/2009)   10    1  Laboratorio modulo II
1  Laboratorio modulo I
4  Teoria modulo I
4  Teoria modulo II
Masters in Computer Science Network and systems security (2007/2008)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Software Architecture (2007/2008)   10    4  Teoria modulo I
1  Laboratorio modulo II
4  Teoria modulo II
1  Laboratorio modulo I
Bachelor in Computer Science (until 2008-2009 academic year) Computer Networks (2006/2007)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Software Architecture (2006/2007)   10    4  Teoria (modulo II)
4  Teoria (modulo I)

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Research groups

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
Research interests
Topic Description Research area
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Cybersecurity
Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Cybersecurity
Network security
Code protection Development of formal techniques and tools for the protection of software. Cybersecurity
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 Cybersecurity
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 Software Engineering and Formal Verification
Software creation and management
Software Verification Decision procedures for satisfiability modulo theories and their application to check program properties; invariant generation by theorem proving; interpolating theorem proving; abstraction refinement for either model checking or static analysis by theorem proving Software Engineering and Formal Verification
Software creation and management
Projects
Title Starting date
Security Horizons 2/1/13
Generalizing Truth-Functionality: GeTFun 1/1/13
GeTFun: Generalizing Truth-Functionality 1/1/12
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 9/22/08
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08
Metodi formali per security engineering - CoperInt 2006 10/1/07




Organization

Department facilities

Share