COMMITTEE

ALESSANDRO ARMANDO

Alessandro Armando is Associate Professor at the University of Genova where he teaches Computer Security. He is also founder and head of the Security & Trust Research Unit of FBK-IRST. He has been coordinator and principal investigator of several research projects on Computer Security.

SILVIO RANISE

Silvio Ranise works as Senior Researcher at FBK since April 2010. His research focuses on formal methods for the automatic analysis of security-sensitive applications. He received his PhD in Computer Engineering from the University of Genova and the University H. Poincare ´ in 2002.

ROBERTO CARBONE

Roberto Carbone is Researcher at FBK since November 2010. His research focuses on the formal analysis of security protocols and services. He received his Ph.D. in Electronic and Computer Engineering and Telecommunications from the University of Genova in 2009.

MICHELE BEZZI

Michele Bezzi is Research Manager at SAP Product Security Research. He received his Ph.D. in Physics from the University of Bologna in 1998. He has 12+ years’ experience in industrial research in SONY, Accenture and SAP. He has been contributing to several European projects.

ANDERSON SANTANA DE OLIVEIRA

Anderson Santana de Oliveira is Researcher and Project Leader in the Product Security Research team. He is responsible for the technical coordination of the A4Cloud project. He obtained his Ph.D. studies at INRIA, France. Subsequently he was lecturer at the UFERSA University.

ANTONINO SABETTA

Antonino Sabetta is Senior Researcher at SAP Labs. Before joining SAP in 2010, he worked as a researcher at CNR-ISTI, Pisa. He earned his PhD in Computer Science and Automation Engineering from the University of Rome Tor Vergata in 2007.

SERENA ELISA PONTA

Serena Elisa Ponta is Researcher at SAP Labs since October 2010 where she works on security policy and configuration validation within the EU-FP7 project PoSecCo. She received her MSc in Computer Engineering in 2007 and her Ph.D in Mathematical Engineering and Simulation in 2011.

LUCA COMPAGNA

Luca Compagna is Research Architect at SAP Labs Center Sophia Antipolis where he is contributing to Product Security Research. He has joined SAP in 2006. He received his Ph.D. in Electronics and Computer Science Engineering jointly from the University of Genova and Edinburgh.