| 2023 | LCN | Electronic Attacks as a Cyber False Flag against Maritime Radars Systems. | Giacomo Longo, Alessio Merlo, Alessandro Armando, Enrico Russo |
| 2020 | RAID | Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. | Andrea Valenza, Gabriele Costa, Alessandro Armando |
| 2020 | SACMAT | Benchmarking UAQ Solvers. | Alessandro Armando, Giorgia Gazzarata, Fatih Turkmen |
| 2020 | SACMAT | AQUA: An Efficient Solver for the User Authorization Query Problem. | Alessandro Armando, Giorgia A. Gazzarata, Fatih Turkmen |
| 2019 | WISTP | Automated Security Analysis of IoT Software Updates. | Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo |
| 2018 | NCA | Scenario Design and Validation for Next Generation Cyber Ranges. | Enrico Russo, Gabriele Costa, Alessandro Armando |
| 2016 | NDSS | Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. | Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna |
| 2016 | SECRYPT | Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution. | Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise |
| 2015 | CCS | Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. | Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza |
| 2015 | ESORICS | Security Monitoring for Industrial Control Systems. | Alessio Coletta, Alessandro Armando |
| 2015 | SACMAT | A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. | Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona |
| 2015 | TACAS | SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. | Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo |
| 2014 | ESORICS | Risk-Aware Information Disclosure. | Alessandro Armando, Michele Bezzi, Nadia Metoui, Antonino Sabetta |
| 2014 | SACMAT | Attribute based access control for APIs in spring security. | Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise |
| 2014 | SACMAT | Scalable and precise automated analysis of administrative temporal role-based access control. | Silvio Ranise, Anh Tuan Truong, Alessandro Armando |
| 2014 | TACAS | SATMC: A SAT-Based Model Checker for Security-Critical Systems. | Alessandro Armando, Roberto Carbone, Luca Compagna |
| 2013 | NSS | Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. | Alessandro Armando, Roberto Carbone, Luca Zanetti |
| 2013 | SAC | Bring your own device, securely. | Alessandro Armando, Gabriele Costa, Alessio Merlo |
| 2013 | SACMAT | Content-based information protection and release in NATO operations. | Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona |
| 2013 | SEC | An Empirical Evaluation of the Android Security Framework. | Alessandro Armando, Alessio Merlo, Luca Verderame |
| 2012 | DBSEC | Automated and Efficient Analysis of Role-Based Access Control with Attributes. | Alessandro Armando, Silvio Ranise |
| 2012 | NSS | On the Automated Analysis of Safety in Usage Control: A New Decidability Result. | Silvio Ranise, Alessandro Armando |
| 2012 | SEC | Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures). | Alessandro Armando, Alessio Merlo, Mauro Migliardi, Luca Verderame |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2012 | TAP | From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. | Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti |
| 2011 | CADE | ASASP: Automated Symbolic Analysis of Security Policies. | Francesco Alberti, Alessandro Armando, Silvio Ranise |
| 2011 | CCS | Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. | Francesco Alberti, Alessandro Armando, Silvio Ranise |
| 2011 | SEC | From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Giancarlo Pellegrino, Alessandro Sorniotti |
| 2010 | ICST | Model-Checking Driven Security Testing of Web-Based Applications. | Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino |
| 2009 | TrustBus | Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. | Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta |
| 2008 | CADE | Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). | Alessandro Armando |
| 2008 | CCS | Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cullar, Llanos Tobarra |
| 2007 | TACAS | Abstraction Refinement of Linear Programs with Arrays. | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2004 | ICFEM | Software Model Checking Using Linear Constraints. | Alessandro Armando, Claudio Castellini, Jacopo Mantovani |
| 2004 | JELIA | SATMC: A SAT-Based Model Checker for Security Protocols. | Alessandro Armando, Luca Compagna |
| 2004 | JELIA | Automatic Compilation of Protocol Insecurity Problems into Logic Programming. | Alessandro Armando, Luca Compagna, Yuliya Lierler |
| 2004 | SAT | A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | SAT | A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2003 | FM | SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. | Alessandro Armando, Luca Compagna, Pierre Ganty |
| 2003 | SAT | Abstraction-Driven SAT-based Analysis of Security Protocols. | Alessandro Armando, Luca Compagna |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2002 | FORTE | Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. | Alessandro Armando, Luca Compagna |
| 2001 | CADE | System Description: RDL : Rewrite and Decision Procedure Laboratory. | Alessandro Armando, Luca Compagna, Silvio Ranise |
| 2001 | CP | The Phase Transition of the Linear Inequalities Problem. | Alessandro Armando, Felice Peccia, Silvio Ranise |
| 2001 | CSL | Uniform Derivation of Decision Procedures by Superposition. | Alessandro Armando, Silvio Ranise, Michal Rusinowitch |
| 2001 | ISSAC | Maple's evaluation process as constraint contextual rewriting. | Alessandro Armando, Clemens Ballarin |
| 1998 | AIMSA | Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. | Alessandro Armando, Erica Melis, Silvio Ranise |
| 1998 | AISC | From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. | Alessandro Armando, Silvio Ranise |
| 1993 | ICTAI | NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. | Alessandro Armando, Paolo Pecchiari |
| 1992 | AIMSA | A Knowledge Based System for Automatic 3D Scene. | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |