Alessandro Armando

Alessandro Armando

Università degli Studi di Genova - Genoa / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1874194
University of Genoa
person_outline Alessandro Armando's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200513982005
2-) Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google appsA Armando, R Carbone, L Compagna, J Cuellar, L TobarraProceedings of the 6th ACM workshop on Formal methods in security …, 20083692008
3-) Bounded model checking of software using SMT solvers instead of SAT solversA Armando, J Mantovani, L PlataniaInternational Journal on Software Tools for Technology Transfer 11 (1), 69-83, 20091922009
4-) A rewriting approach to satisfiability proceduresA Armando, S Ranise, M RusinowitchInformation and Computation 183 (2), 140-164, 20031932003
5-) SAT-based procedures for temporal reasoningA Armando, C Castellini, E GiunchigliaEuropean Conference on Planning, 97-108, 19991731999