Marco  Volpe

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

Fast Links Links
marco-volpe, February 3, 2011
Qualification
Research Associate


Telephone
+39 045 802 7803

Fax
+39 045 802 7068

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

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

Skype
My status



Documents

Curriculum

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

Research products

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

Projects
Title Starting date
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


People
Top