Alessandro Armando

Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti: An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations. Computers & Security 33: 41-58 (2013)

Alessandro Armando, Aniello Castiglione, Gabriele Costa, Ugo Fiore, Alessio Merlo, Luca Verderame, Ilsun You: Trustworthy Opportunistic Access to the Internet of Services. ICT-EurAsia 2013: 469-478

Alessandro Armando, Gabriele Costa, Alessio Merlo: Bring your own device, securely. SAC 2013: 1852-1858

Alessandro Armando, Gavin Lowe: Preface. Journal of Computer Security 20(1): 1 (2012)

Alessandro Armando, Silvio Ranise: Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. Journal of Computer Security 20(4): 309-352 (2012)

Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta: An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. 78(1): 119-141 (2012)

Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo: Efficient run-time solving of RBAC user authorization queries: pushing the envelope. CODASPY 2012: 241-248

Alessandro Armando, Silvio Ranise: Automated and Efficient Analysis of Role-Based Access Control with Attributes. DBSec 2012: 25-40

Silvio Ranise, Alessandro Armando: On the Automated Analysis of Safety in Usage Control: A New Decidability Result. NSS 2012: 15-28

Alessandro Armando, Alessio Merlo, Mauro Migliardi, Luca Verderame: Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures). SEC 2012: 13-24

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ò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282

Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti: From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. TAP 2012: 3-18

Alessandro Armando, Alessio Merlo, Luca Verderame: Security Issues in the Android Cross-Layer Architecture. CoRR abs/1209.0687 (2012)

Francesco Alberti, Alessandro Armando, Silvio Ranise: ASASP: Automated Symbolic Analysis of Security Policies. CADE 2011: 26-33

Francesco Alberti, Alessandro Armando, Silvio Ranise: Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. ASIACCS 2011: 165-175

Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Giancarlo Pellegrino, Alessandro Sorniotti: From Multiple Credentials to Browser-Based Single Sign-On: Are We More Secure? SEC 2011: 68-79

Alessandro Armando, Roberto Carbone, Silvio Ranise: Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC 2011: 356-363

Alessandro Armando, Silvio Ranise: Automated Analysis of Infinite State Workflows with Access Control Policies. STM 2011: 157-174

Alessandro Armando, Gavin Lowe (Eds.): 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. Lecture Notes in Computer Science 6186, Springer 2011, isbn 978-3-642-16073-8

Alessandro Armando, Peter Baumgartner, Gilles Dowek: Preface. J. Autom. Reasoning 45(2): 89 (2010)

Alessio Merlo, Alessandro Armando: Cooperative access control for the Grid. IAS 2010: 228-233

Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino: Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops 2010: 361-370

Alessandro Armando, Silvio Ranise: Automated Symbolic Analysis of ARBAC-Policies. STM 2010: 17-34

Alessandro Armando, Roberto Carbone, Luca Compagna: LTL model checking for security protocols. Journal of Applied Non-Classical Logics 19(4): 403-429 (2009)

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded model checking of software using SMT solvers instead of SAT solvers. STTT 11(1): 69-83 (2009)

Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. ACM Trans. Comput. Log. 10(1) (2009)

Alessandro Armando: Building SMT-Based Software Model Checkers: An Experience Report. FroCoS 2009: 1-17

Alessandro Armando, Serena Elisa Ponta: Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust 2009: 66-80

Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta: Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus 2009: 63-72

Alessandro Armando, Luca Compagna: SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. 7(1): 3-32 (2008)

Alessandro Armando: Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). PAAR/ESHOL 2008

Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra: Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. FMSE 2008: 1-10

Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science 5195, Springer 2008, isbn 978-3-540-71069-1

Alessandro Armando, Roberto Carbone, Luca Compagna: LTL Model Checking for Security Protocols. CSF 2007: 385-396

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica: The eureka tool for software model checking. ASE 2007: 541-542

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Abstraction Refinement of Linear Programs with Arrays. TACAS 2007: 373-388

Alessandro Armando, Alessandro Cimatti: Preface. Electr. Notes Theor. Comput. Sci. 144(2): 1-2 (2006)

Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani: Model Checking Linear Programs with Arrays. Electr. Notes Theor. Comput. Sci. 144(3): 79-94 (2006)

Alessandro Armando, Christophe Ringeissen: Special issue on combining logical systems. Inf. Comput. 204(10): 1411-1412 (2006)

Alessandro Armando, David A. Basin, Jorge Cuéllar, Michaël Rusinowitch, Luca Viganò: Automated Reasoning for Security Protocol Analysis. J. Autom. Reasoning 36(1-2): 1-3 (2006)

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania: Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. SPIN 2006: 146-162

Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: New results on rewrite-based satisfiability procedures. CoRR abs/cs/0604054 (2006)

Alessandro Armando, Luca Viganò: Preface. Electr. Notes Theor. Comput. Sci. 125(1): 1- (2005)

Alessandro Armando, Luca Compagna: An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols. Electr. Notes Theor. Comput. Sci. 125(1): 91-108 (2005)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea: TSAT++: an Open Platform for Satisfiability Modulo Theories. Electr. Notes Theor. Comput. Sci. 125(3): 25-36 (2005)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: The SAT-based Approach to Separation Logic. J. Autom. Reasoning 35(1-3): 237-263 (2005)

Alessandro Armando, Clemens Ballarin: A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. J. Symb. Comput. 39(5): 503-521 (2005)

Alessandro Armando, Luca Compagna, Silvio Ranise: Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. Mechanizing Mathematical Reasoning 2005: 30-45

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58

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: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285

Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz: On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal. FroCoS 2005: 65-80

Alessandro Armando, Claudio Castellini, Jacopo Mantovani: Software Model Checking Using Linear Constraints. ICFEM 2004: 209-223

Alessandro Armando, Luca Compagna, Yuliya Lierler: Automatic Compilation of Protocol Insecurity Problems into Logic Programming. JELIA 2004: 617-627

Alessandro Armando, Luca Compagna: SATMC: A SAT-Based Model Checker for Security Protocols. JELIA 2004: 730-733

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT 2004

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea: A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers 2004: 16-29

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: A rewriting approach to satisfiability procedures. Inf. Comput. 183(2): 140-164 (2003)

Alessandro Armando, Silvio Ranise: Constraint contextual rewriting. J. Symb. Comput. 36(1-2): 193-216 (2003)

Alessandro Armando, Luca Compagna, Pierre Ganty: SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis. FME 2003: 875-893

Alessandro Armando, Luca Compagna: Abstraction-Driven SAT-based Analysis of Security Protocols. SAT 2003: 257-271

Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat: Incorporating Decision Procedures in Implicit Induction. J. Symb. Comput. 34(4): 241-258 (2002)

Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353

Alessandro Armando, Luca Compagna: Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. FORTE 2002: 210-225

Alessandro Armando (Ed.): Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Lecture Notes in Computer Science 2309, Springer 2002, isbn 3-540-43381-3

Alessandro Armando, Tudor Jebelean: Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. J. Symb. Comput. 32(4): 303-304 (2001)

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)

Alessandro Armando, Silvio Ranise: A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. J. UCS 7(2): 124-140 (2001)

Alessandro Armando, Luca Compagna, Silvio Ranise: System Description: RDL : Rewrite and Decision Procedure Laboratory. IJCAR 2001: 663-669

Alessandro Armando, Felice Peccia, Silvio Ranise: The Phase Transition of the Linear Inequalities Problem. CP 2001: 422-432

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch: Uniform Derivation of Decision Procedures by Superposition. CSL 2001: 513-527

Alessandro Armando, Clemens Ballarin: Maple's evaluation process as constraint contextual rewriting. ISSAC 2001: 32-37

Alessandro Armando, Silvio Ranise: Termination of Constraint Contextual Rewriting. FroCoS 2000: 47-61

Alessandro Armando, Daniele Zini: Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture. WOA 2000: 70-75

Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. Autom. Softw. Eng. 6(4): 329-356 (1999)

Alessandro Armando, Tudor Jebelean: Preface. Electr. Notes Theor. Comput. Sci. 23(3): 319-320 (1999)

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): 322-339 (1999)

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia: SAT-Based Procedures for Temporal Reasoning. ECP 1999: 97-108

Alessandro Armando, Jason Gallagher, Alan Smaill, Alan Bundy: Automating the Synthesis of Decision Procedures in a Constructive Metatheory. Ann. Math. Artif. Intell. 22(3-4): 259-279 (1998)

Alessandro Armando, Erica Melis, Silvio Ranise: Constraint Solving in Logic Programming and in Automated Deduction: A Comparison. AIMSA 1998: 28-38

Alessandro Armando, Silvio Ranise: From Integrated Reasoning Specialists to ``Plug-and-Play'' Reasoning Components. AISC 1998: 42-54

Alessandro Armando, Alan Smaill, Ian Green: Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. ASE 1997: 2-9

Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti: Visual representation of natural language scene descriptions. IEEE Transactions on Systems, Man, and Cybernetics, Part B 26(4): 575-589 (1996)

Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Structured Proof Procedures. Ann. Math. Artif. Intell. 15(1): 1-18 (1995)

Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia: MRG: Building planers for real-world complex applications. Applied Artificial Intelligence 8(3): 333-357 (1994)

Alessandro Armando, Enrico Giunchiglia: Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Ann. Math. Artif. Intell. 8(3-4): 475-502 (1993)

Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari: Proving Formulas through Reduction to Decidable Classes. AI*IA 1993: 1-10

Alessandro Armando, Alessandro Cimatti, Luca Viganò: Building and Executing Proof Strategies in a Formal Metatheory. AI*IA 1993: 11-22

Alessandro Armando, Paolo Pecchiari: NALIG: A CAD System for Interior Design with High Level Interaction Capabilities. ICTAI 1993: 446-447

Paolo Traverso, Alessandro Armando, Enrico Giunchiglia: A Knowledge Based System for Automatic 3D Scene. AIMSA 1992: 255-264