Alessandro Armando

164 papers A* 6A 15B 11C 11Misc 8Journal 56Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Risk-based Authorization in Safety Critical Microservice Architectures. ITASEC/SERICS Giorgia Sirigu, Alessandro Burastero, Alessandro Armando
2023	J	`jnl`	Attacking (and Defending) the Maritime Radar System. IEEE Trans. Inf. Forensics Secur. Giacomo Longo, Enrico Russo, Alessandro Armando, Alessio Merlo
2023	—	`conf`	Cyber Range and Cyber Defense Exercises: Gamification Meets University Students. Gamify@SIGSOFT FSE Enrico Russo, Marina Ribaudo, Alessandro Orlich, Giacomo Longo, Alessandro Armando
2023	B	`conf`	Electronic Attacks as a Cyber False Flag against Maritime Radars Systems. LCN Giacomo Longo, Alessio Merlo, Alessandro Armando, Enrico Russo
2023	J	`jnl`	LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework. IEEE Trans. Dependable Secur. Comput. Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
2022	J	`jnl`	Attacking (and defending) the Maritime Radar System. CoRR Giacomo Longo, Enrico Russo, Alessandro Armando, Alessio Merlo
2022	J	`jnl`	Automating the Generation of Cyber Range Virtual Scenarios with VSDL. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Gabriele Costa, Enrico Russo, Alessandro Armando
2022	J	`jnl`	LiDiTE: a Full-Fledged and Featherweight Digital Twin Framework. CoRR Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
2022	Misc	`conf`	Training the Maritime Security Operations Centre Teams. CSR Marco Raimondi, Giacomo Longo, Alessio Merlo, Alessandro Armando, Enrico Russo
2021	J	`jnl`	Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. ACM Trans. Priv. Secur. Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
2021	—	`conf`	Capture the Flag competitions for Higher Education. ITASEC Giovanni Lagorio, Marina Ribaudo, Alessandro Armando
2021	J	`jnl`	DIOXIN: runtime security policy enforcement of fog applications. Int. J. Grid Util. Comput. Enrico Russo, Luca Verderame, Alessandro Armando, Alessio Merlo
2021	J	`jnl`	Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware. IEEE Trans. Inf. Forensics Secur. Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2021	—	`ed.`	Proceedings of the Italian Conference on Cybersecurity, ITASEC 2021, All Digital Event, April 7-9, 2021. ITASEC Alessandro Armando, Michele Colajanni
2020	C	`conf`	AQUA: An Efficient Solver for the User Authorization Query Problem. SACMAT Alessandro Armando, Giorgia A. Gazzarata, Fatih Turkmen
2020	J	`jnl`	Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. CoRR Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
2020	J	`jnl`	Automating the Generation of Cyber Range Virtual Scenarios with VSDL. CoRR Gabriele Costa, Enrico Russo, Alessandro Armando
2020	C	`conf`	Benchmarking UAQ Solvers. SACMAT Alessandro Armando, Giorgia Gazzarata, Fatih Turkmen
2020	J	`jnl`	Building next generation Cyber Ranges with CRACK. Comput. Secur. Enrico Russo, Gabriele Costa, Alessandro Armando
2020	J	`jnl`	Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations. CoRR Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2020	A	`conf`	Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. RAID Andrea Valenza, Gabriele Costa, Alessandro Armando
2020	J	`jnl`	Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. CoRR Andrea Valenza, Gabriele Costa, Alessandro Armando
2019	C	`conf`	Automated Security Analysis of IoT Software Updates. WISTP Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo
2019	—	`conf`	Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. ITASEC Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2019	J	`jnl`	Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. CoRR Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2019	—	`conf`	Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon Giuseppina Murino, Alessandro Armando, Armando Tacchella
2018	J	`jnl`	Automatic security verification of mobile app configurations. Future Gener. Comput. Syst. Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando
2018	B	`conf`	Scenario Design and Validation for Next Generation Cyber Ranges. NCA Enrico Russo, Gabriele Costa, Alessandro Armando
2017	J	`jnl`	Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements. Comput. Secur. Giada Sciarretta, Roberto Carbone, Silvio Ranise, Alessandro Armando
2017	A	`conf`	Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries. EuroS&P Avinash Sudhodanan, Roberto Carbone, Luca Compagna, Nicolas Dolgin, Alessandro Armando, Umberto Morelli
2017	—	`ed.`	Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy, January 17-20, 2017. ITASEC Alessandro Armando, Roberto Baldoni, Riccardo Focardi
2017	J	`jnl`	Risk-Based Privacy-Aware Access Control for Threat Detection Systems. Trans. Large Scale Data Knowl. Centered Syst. Nadia Metoui, Michele Bezzi, Alessandro Armando
2016	J	`jnl`	Android vs. SEAndroid: An empirical assessment. Pervasive Mob. Comput. Alessio Merlo, Gabriele Costa, Luca Verderame, Alessandro Armando
2016	—	`conf`	Assisted content-based labelling and classification of documents. ICMCIS Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy
2016	A*	`conf`	Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. NDSS Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna
2016	—	`conf`	Developing a NATO BYOD security policy. ICMCIS Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame, Konrad S. Wrona
2016	J	`jnl`	SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. Int. J. Softw. Tools Technol. Transf. Alessandro Armando, Roberto Carbone, Luca Compagna
2016	—	`conf`	SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. ABAC@CODASPY Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2016	C	`conf`	Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution. SECRYPT Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise
2016	—	`conf`	Trust and Risk-Based Access Control for Privacy Preserving Threat Detection Systems. FDSE Nadia Metoui, Michele Bezzi, Alessandro Armando
2015	C	`conf`	A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. SACMAT Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2015	A	`conf`	Android Permissions Unleashed. CSF Alessandro Armando, Roberto Carbone, Gabriele Costa, Alessio Merlo
2015	—	`conf`	Balancing Trust and Risk in Access Control. OTM Conferences Alessandro Armando, Michele Bezzi, Francesco Di Cerbo, Nadia Metoui
2015	—	`conf`	Compiling NATO authorization policies for enforcement in the cloud and SDNs. CNS Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
2015	J	`jnl`	Formal modeling and automatic enforcement of Bring Your Own Device policies. Int. J. Inf. Sec. Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
2015	—	`conf`	Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. MIST@CCS Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
2015	J	`jnl`	Risk-Based Privacy-Aware Information Disclosure. Int. J. Secur. Softw. Eng. Alessandro Armando, Michele Bezzi, Nadia Metoui, Antonino Sabetta
2015	A	`conf`	SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. TACAS Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
2015	—	`conf`	Security Monitoring for Industrial Control Systems. CyberICS/WOS-CPS@ESORICS Alessio Coletta, Alessandro Armando
2015	—	`conf`	Trusted host-based card emulation. HPCS Alessandro Armando, Alessio Merlo, Luca Verderame
2014	C	`conf`	Attribute based access control for APIs in spring security. SACMAT Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise
2014	J	`jnl`	Counterexample-guided abstraction refinement for linear programs with arrays. Autom. Softw. Eng. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
2014	—	`conf`	Enabling BYOD through secure meta-market. WISEC Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
2014	J	`jnl`	Mobile App Security Analysis with the MAVeriC Static Analysis Module. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Alessandro Armando, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
2014	J	`jnl`	Model checking authorization requirements in business processes. Comput. Secur. Alessandro Armando, Serena Elisa Ponta
2014	—	`conf`	Risk-Aware Information Disclosure. DPM/SETOP/QASA Alessandro Armando, Michele Bezzi, Nadia Metoui, Antonino Sabetta
2014	A	`conf`	SATMC: A SAT-Based Model Checker for Security-Critical Systems. TACAS Alessandro Armando, Roberto Carbone, Luca Compagna
2014	C	`conf`	Scalable and precise automated analysis of administrative temporal role-based access control. SACMAT Silvio Ranise, Anh Tuan Truong, Alessandro Armando
2014	J	`jnl`	Securing the "Bring Your Own Device" Paradigm. Computer Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo
2014	J	`jnl`	Security considerations related to the use of mobile devices in the operation of critical infrastructures. Int. J. Crit. Infrastructure Prot. Alessandro Armando, Alessio Merlo, Luca Verderame
2014	—	`conf`	Selective Release of Smart Metering Data in Multi-domain Smart Grids. SmartGridSec Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise
2013	Misc	`conf`	An Empirical Evaluation of the Android Security Framework. SEC Alessandro Armando, Alessio Merlo, Luca Verderame
2013	J	`jnl`	An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Comput. Secur. Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2013	J	`jnl`	Breaking and fixing the Android Launching Flow. Comput. Secur. Alessandro Armando, Alessio Merlo, Mauro Migliardi, Luca Verderame
2013	Misc	`conf`	Bring your own device, securely. SAC Alessandro Armando, Gabriele Costa, Alessio Merlo
2013	C	`conf`	Content-based information protection and release in NATO operations. SACMAT Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
2013	B	`conf`	Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. NSS Alessandro Armando, Roberto Carbone, Luca Zanetti
2013	—	`conf`	Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations. FPS Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
2013	A*	`conf`	Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2013	—	`conf`	Trustworthy Opportunistic Access to the Internet of Services. ICT-EurAsia Alessandro Armando, Aniello Castiglione, Gabriele Costa, Ugo Fiore, Alessio Merlo, Luca Verderame, Ilsun You
2012	J	`jnl`	An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2012	B	`conf`	Automated and Efficient Analysis of Role-Based Access Control with Attributes. DBSec Alessandro Armando, Silvio Ranise
2012	—	`conf`	Boosting Model Checking to Analyse Large ARBAC Policies. STM Silvio Ranise, Anh Tuan Truong, Alessandro Armando
2012	—	`conf`	Efficient run-time solving of RBAC user authorization queries: pushing the envelope. CODASPY Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo
2012	—	`conf`	Formal Analysis of a Privacy-Preserving Billing Protocol. SmartGridSec Alessandro Armando, Roberto Carbone, Alessio Merlo
2012	—	`conf`	Formal Modeling and Reasoning about the Android Security Framework. TGC Alessandro Armando, Gabriele Costa, Alessio Merlo
2012	—	`conf`	From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. TAP@TOOLS Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
2012	B	`conf`	On the Automated Analysis of Safety in Usage Control: A New Decidability Result. NSS Silvio Ranise, Alessandro Armando
2012	J	`jnl`	Preface. J. Comput. Secur. Alessandro Armando, Gavin Lowe
2012	J	`jnl`	Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. J. Comput. Secur. Alessandro Armando, Silvio Ranise
2012	J	`jnl`	Securing the "Bring Your Own Device" Policy. J. Internet Serv. Inf. Secur. Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
2012	J	`jnl`	Security Issues in the Android Cross-Layer Architecture CoRR Alessandro Armando, Alessio Merlo, Luca Verderame
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
2012	Misc	`conf`	Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures). SEC Alessandro Armando, Alessio Merlo, Mauro Migliardi, Luca Verderame
2011	A	`conf`	ASASP: Automated Symbolic Analysis of Security Policies. CADE Francesco Alberti, Alessandro Armando, Silvio Ranise
2011	—	`conf`	Automated Analysis of Infinite State Workflows with Access Control Policies. STM Alessandro Armando, Silvio Ranise
2011	—	`conf`	Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC Alessandro Armando, Roberto Carbone, Silvio Ranise
2011	—	`ed.`	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers ARSPA-WITS Alessandro Armando, Gavin Lowe
2011	A	`conf`	Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. AsiaCCS Francesco Alberti, Alessandro Armando, Silvio Ranise
2011	Misc	`conf`	From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti
2010	—	`conf`	Automated Symbolic Analysis of ARBAC-Policies. STM Alessandro Armando, Silvio Ranise
2010	C	`conf`	Cooperative access control for the Grid. IAS Alessio Merlo, Alessandro Armando
2010	—	`conf`	Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino
2010	J	`jnl`	Preface. J. Autom. Reason. Alessandro Armando, Peter Baumgartner, Gilles Dowek
2009	J	`jnl`	Bounded model checking of software using SMT solvers instead of SAT solvers. Int. J. Softw. Tools Technol. Transf. Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
2009	—	`conf`	Building SMT-Based Software Model Checkers: An Experience Report. FroCoS Alessandro Armando
2009	B	`conf`	Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta
2009	J	`jnl`	LTL model checking for security protocols. J. Appl. Non Class. Logics Alessandro Armando, Roberto Carbone, Luca Compagna
2009	—	`conf`	Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust Alessandro Armando, Serena Elisa Ponta
2009	J	`jnl`	New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2008	A	`ed.`	Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings IJCAR Alessandro Armando, Peter Baumgartner, Gilles Dowek
2008	—	`conf`	Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Llanos Tobarra
2008	—	`conf`	Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). PAAR/ESHOL Alessandro Armando
2008	J	`jnl`	SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. Alessandro Armando, Luca Compagna
2007	A	`conf`	Abstraction Refinement of Linear Programs with Arrays. TACAS Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
2007	A	`conf`	LTL Model Checking for Security Protocols. CSF Alessandro Armando, Roberto Carbone, Luca Compagna
2007	A*	`conf`	The eureka tool for software model checking. ASE Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
2006	J	`jnl`	Automated Reasoning for Security Protocol Analysis. J. Autom. Reason. Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò
2006	—	`conf`	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. SPIN Alessandro Armando, Jacopo Mantovani, Lorenzo Platania
2006	J	`jnl`	New results on rewrite-based satisfiability procedures CoRR Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2006	—	`ed.`	Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005 PDPAR@CAV Alessandro Armando, Alessandro Cimatti
2006	J	`jnl`	Special issue on combining logical systems. Inf. Comput. Alessandro Armando, Christophe Ringeissen
2005	J	`jnl`	A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. J. Symb. Comput. Alessandro Armando, Clemens Ballarin
2005	—	`conf`	Model Checking Linear Programs with Arrays. SoftMC@CAV Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
2005	—	`conf`	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCoS Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz
2005	—	`conf`	Preface. PDPAR@CAV Alessandro Armando, Alessandro Cimatti
2005	—	`ed.`	Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, ARSPA@IJCAR 2004, Cork, Ireland, July 4, 2004 ARSPA@IJCAR Alessandro Armando, Luca Viganò
2005	—	`conf`	Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning Alessandro Armando, Luca Compagna, Silvio Ranise
2005	—	`conf`	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2005	J	`jnl`	The SAT-based Approach to Separation Logic. J. Autom. Reason. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	—	`conf`	A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	A	`conf`	A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	—	`conf`	An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. ARSPA@IJCAR Alessandro Armando, Luca Compagna
2004	B	`conf`	Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA Alessandro Armando, Luca Compagna, Yuliya Lierler
2004	—	`conf`	Preface. ARSPA@IJCAR Alessandro Armando, Luca Viganò
2004	B	`conf`	SATMC: A SAT-Based Model Checker for Security Protocols. JELIA Alessandro Armando, Luca Compagna
2004	C	`conf`	Software Model Checking Using Linear Constraints. ICFEM Alessandro Armando, Claudio Castellini, Jacopo Mantovani
2004	—	`conf`	TSAT++: an Open Platform for Satisfiability Modulo Theories. D/PDPAR@IJCAR Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea
2003	J	`jnl`	A rewriting approach to satisfiability procedures. Inf. Comput. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2003	A	`conf`	Abstraction-Driven SAT-based Analysis of Security Protocols. SAT Alessandro Armando, Luca Compagna
2003	J	`jnl`	Constraint contextual rewriting. J. Symb. Comput. Alessandro Armando, Silvio Ranise
2003	—	`conf`	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME Alessandro Armando, Luca Compagna, Pierre Ganty
2002	C	`conf`	Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE Alessandro Armando, Luca Compagna
2002	—	`ed.`	Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings FroCoS Alessandro Armando
2002	J	`jnl`	Incorporating Decision Procedures in Implicit Induction. J. Symb. Comput. Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	J	`jnl`	A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. Univers. Comput. Sci. Alessandro Armando, Silvio Ranise
2001	B	`conf`	Maple's evaluation process as constraint contextual rewriting. ISSAC Alessandro Armando, Clemens Ballarin
2001	J	`jnl`	Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. J. Symb. Comput. Alessandro Armando, Tudor Jebelean
2001	A	`conf`	System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR Alessandro Armando, Luca Compagna, Silvio Ranise
2001	J	`jnl`	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise
2001	A	`conf`	The Phase Transition of the Linear Inequalities Problem. CP Alessandro Armando, Felice Peccia, Silvio Ranise
2001	B	`conf`	Uniform Derivation of Decision Procedures by Superposition. CSL Alessandro Armando, Silvio Ranise, Michaël Rusinowitch
2000	—	`conf`	Termination of Constraint Contextual Rewriting. FroCoS Alessandro Armando, Silvio Ranise
2000	—	`conf`	Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. WOA Alessandro Armando, Daniele Zini
1999	J	`jnl`	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. Alessandro Armando, Alan Smaill, Ian Green
1999	—	`conf`	Preface. Calculemus Alessandro Armando, Tudor Jebelean
1999	—	`conf`	SAT-Based Procedures for Temporal Reasoning. ECP Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
1999	—	`ed.`	Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999 Calculemus Alessandro Armando, Tudor Jebelean
1999	—	`conf`	The control component of open mechanized reasoning systems. Calculemus Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia
1998	J	`jnl`	Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy
1998	Misc	`conf`	Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA Alessandro Armando, Erica Melis, Silvio Ranise
1998	Misc	`conf`	From Integrated Reasoning Specialists to "Plug-and-Play" Reasoning Components. AISC Alessandro Armando, Silvio Ranise
1997	A*	`conf`	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE Alessandro Armando, Alan Smaill, Ian Green
1996	J	`jnl`	Towards provably correct system synthesis and extension. Future Gener. Comput. Syst. Fausto Giunchiglia, Paolo Pecchiari, Alessandro Armando
1996	J	`jnl`	Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti
1995	J	`jnl`	Structured Proof Procedures. Ann. Math. Artif. Intell. Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
1994	J	`jnl`	MRG: Building planers for real-world complex applications. Appl. Artif. Intell. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
1993	—	`conf`	Building and Executing Proof Strategies in a Formal Metatheory. AI*IA Alessandro Armando, Alessandro Cimatti, Luca Viganò
1993	J	`jnl`	Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Ann. Math. Artif. Intell. Alessandro Armando, Enrico Giunchiglia
1993	B	`conf`	NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. ICTAI Alessandro Armando, Paolo Pecchiari
1993	—	`conf`	Proving Formulas through Reduction to Decidable Classes. AI*IA Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
1992	Misc	`conf`	A Knowledge Based System for Automatic 3D Scene. AIMSA Paolo Traverso, Alessandro Armando, Enrico Giunchiglia