Luca  Vigano'

The contents of this page are the responsibility of the person: Luca Vigano'
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Luca Vigano`,  October 7, 2007
Qualification
Associate Professor

Disciplinary sector
INF/01 - COMPUTING


Office
Ca' Vignal 2,  Floor 2,  Room 12

Telephone
+39 0458027070

Fax
+39 0458027068

E-mail
luca|vigano*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://profs.sci.univr.it/~vigano



Office hours
su appuntamento concordato per email

Research groups
Name Description
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

Skills
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 Ingegneria del Software e Sicurezza
Security and privacy - Formal methods and theory of security
Network security Development of techniques and tools for the security of computer networks Ingegneria del Software e Sicurezza
Security and privacy - Network security
Protezione del software Development of formal techniques and tools for the protection of software. Ingegneria del Software e Sicurezza
Security and privacy - 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
Security and privacy - 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 and its engineering - 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 Informatica teorica
Theory of computation - Logic

Research products

Year
Type of item
Number of research products per page
publications on 91 total
 

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

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Network security (2012/2013)   6  eLearning
Department Computer Science  Software Engineering (2012/2013)   6  eLearning

People
Top