Graduate School and Research Center In communication systems

Giancarlo PELLEGRINO

Giancarlo PELLEGRINO
Giancarlo PELLEGRINO
Eurecom - Networking and Security 
Phd Student ( 2010 - 2013)
Alumni EURECOM

Biography

Education

  • 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/