1. SATMC: a SAT-based model checker for security protocols;Armando,2004
2. LTL model checking for security protocols;Armando,2007
3. Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for Google Apps;Armando,2008
4. LTL model checking for security protocols;Armando;Journal of Applied Non-Classical Logics, Special Issue on Logic and Information Security,2009
5. From multiple credentials to browser-based single sign-on: are we more secure?;Armando,2011