Experience

 
 
 
 
 
Mar. 2013 – Present
Mougins, France

Senior Researcher

SAP Labs

  • Automated approaches to the identification, assessment and mitigation of vulnerabilities in open-source software
  • Machine learning for software security analysis and vulnerability detection
 
 
 
 
 
Oct. 2010 – Feb. 2013
Mougins, France

Researcher

SAP Labs

  • Security certification of Web Services
  • Lead architect in EU-funded project Assert4SOA
 
 
 
 
 
Jan. 2010 – Sep. 2010
Pisa, Italy

Researcher

CNR-ISTI

TBD (see my publications in years 2008-2011)
 
 
 
 
 
Nov. 2006 – Dec. 2009
Pisa, Italy

Postdoc Fellow

CNR-ISTI

TBD (see my publications in years 2008-2009)
 
 
 
 
 
May. 2006 – Aug. 2006
Ottawa, Canada

Vising Researcher (I)

Carleton University

Using graph grammars as a way to abstract information from software models, as a preliminary step for futher model transformation to a different target representation.

 
 
 
 
 
May. 2005 – Jul. 2005
Ottawa, Canada

Vising Researcher (II)

Carleton University

I worked with Dorina Petriu on an approach to use methods from the Aspect-Oriented paradigm and graph grammars to represent crosscutting concerns (performance, security) in software models.

 
 
 
 
 
Oct. 2003 – Jun. 2007
Rome, Italy

PhD Candidate

Univ. of Rome ‘Tor Vergata’

My PhD thesis was on model-driven methods to analyze the performance of software systems

Events

2019

  • (ARES 2019) 14th International Conference on Availability, Reliability and Security (ARES 2019)
  • (IWSSEC 2019) International Workshop on Security Engineering for Cloud Computing (event website under construction)
  • (MobileSoft 2019) 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems
    • Submission Deadline: April 30, 2019

Contact