You are here

Alessandro Armando

Visiting Researcher
  • Phone: 0461314193
  • FBK Povo
Short bio

Alessandro Armando received his M.Eng. in 1988 and his PhD in Computer Engineering at the University of Genova in 1994. His appointments includes a position as research fellow at the University of Edinburgh and at INRIA-Lorraine (France). He is Associate Professor at the University of Genova where he teaches Computer Security and Head of the Security & Trust Research Unit at FBK-IRST in Trento. He has more than 70 publications in international journals and conferences, and has been program chair of conferences and workshops in the area of Automated Reasoning and Computer Security. He has been coordinator and principal investigator of several national and EU research projects. His research interests are on Automated Reasoning and its application to the modelling, design, and verification of security-critical systems. He contributed to the discovery of an authentication flaw in the SAML 2.0 Web-browser SSO Profile and of a serious man-in-the-middle attack on the SAML-based SSO for Google Apps.

Research interests
Computer Security; Automated Reasoning