User:Michele Barletta

I am a research fellow at Department of Computer Science of the University of Verona. I got my Ph.D. in Computer Science at the same university. My research area are formal methods for security of Web Applications and Services. I have been member of the AVANTSSAR EU Project (www.avantssar.eu) and now I am involved in SpaCiOS (www.spacios.eu). I am now working in the Certificaiton Security Assestment (CSA) team of SIEMENS AG Corporate Technology in Munich, Germany.

Link to my personal page.

http://www.di.univr.it/?ent=persona&id=5054&lang=en