Concepedia

Alessandro Armando

AA

52

Publications

2K

Citations

24

H-Index

1993

Active since

Affiliations

University of Genoa(Current)

University of Trento

Fondazione Bruno Kessler

Centre Azuréen de Cancérologie

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Alessandro Armando is an author at University of Genoa specializing in engineering, information security, and computer science.

Top concepts

EngineeringComputer ScienceInformation SecurityData SecurityFormal VerificationVerificationFormal MethodsSoftware AnalysisCryptographySystems Engineering

Publications per year

1993–2023

52

Publications

52

Formal analysis of SAML 2.0 web browser single sign-on

Alessandro Armando, Roberto Carbone, Luca Compagna et al. · 2008 · 235 citations · Full text

Service Provider, Secure Service, Authentication Authorization +15

Bounded model checking of software using SMT solvers instead of SAT solvers

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania · International Journal on Software Tools for Technology Transfer · 2008 · 157 citations

Engineering, Program Analysis, Automated Reasoning +15

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch · Information and Computation · 2003 · 125 citations

Decision Procedure, Engineering, Automated Reasoning +7

Adversarial EXEmples

Luca Demetrio, Scott E. Coull, Battista Biggio et al. · ACM Transactions on Privacy and Security · 2021 · 108 citations · Full text

Evasion Rate, Software Security, Engineering +13

SAT-based model-checking for security protocols analysis

Alessandro Armando, Luca Compagna · International Journal of Information Security · 2007 · 102 citations

Engineering, Information Security, Verification +9

Rows per page

1–5 of 52