Michele  Barletta

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

Me,  October 17, 2012
E-mail
michele|barletta*univr|it <== Replace | with . and * with @ to have the right email address.

Not present since
June 30, 2013

Note
 

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 5 total
 

Projects
Title Starting date
SPaCIoS: Secure Provision and Consumption in the Internet of Services 10/1/10
AVANTSSAR - Automated Validation of Trust and Security of Service-oriented Architectures 1/1/08


People
Top