Etudes
- Giancarlo got a MSc in Computer Science at Universita' degli Studi di Catania (Italy) in April 2009. He joined SAP Labs in September 2009 for a 6 months internship contributing to the formal analysis of web-based security protocols.
- From March 2010 he is a PhD student working as Researcher Associate at SAP Labs France within the AVANTSSAR (http://www.avantssar.eu/) and SPaCIoS EU (http://www.spacios.eu/) funded projects, under the supervision of Assistant Prof. Davide Balzarotti.
- His current research topics are formal analysis of security protocols, security testing, and model-based testing.
-
do not hesitate to visit his webpage http://trouge.net/gp/
