Alessandro Armando

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 47

Top Venues

CoRR

SACMAT

Comput. Secur.

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.

Publications

Giacomo Longo, Enrico Russo, Alessandro Armando, Alessio Merlo
Attacking (and Defending) the Maritime Radar System. IEEE Trans. Inf. Forensics Secur. 18 (2023)
Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework. IEEE Trans. Dependable Secur. Comput. 20 (6) (2023)
Enrico Russo, Marina Ribaudo, Alessandro Orlich, Giacomo Longo, Alessandro Armando
Cyber Range and Cyber Defense Exercises: Gamification Meets University Students. Gamify@SIGSOFT FSE (2023)
Giacomo Longo, Alessio Merlo, Alessandro Armando, Enrico Russo
Electronic Attacks as a Cyber False Flag against Maritime Radars Systems. LCN (2023)
Marco Raimondi, Giacomo Longo, Alessio Merlo, Alessandro Armando, Enrico Russo
Training the Maritime Security Operations Centre Teams. CSR (2022)
Giacomo Longo, Enrico Russo, Alessandro Armando, Alessio Merlo
Attacking (and defending) the Maritime Radar System. CoRR (2022)
Gabriele Costa, Enrico Russo, Alessandro Armando
Automating the Generation of Cyber Range Virtual Scenarios with VSDL. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13 (4) (2022)
Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
LiDiTE: a Full-Fledged and Featherweight Digital Twin Framework. CoRR (2022)
Enrico Russo, Luca Verderame, Alessandro Armando, Alessio Merlo
DIOXIN: runtime security policy enforcement of fog applications. Int. J. Grid Util. Comput. 12 (2) (2021)
Giovanni Lagorio, Marina Ribaudo, Alessandro Armando
Capture the Flag competitions for Higher Education. ITASEC (2021)
Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. ACM Trans. Priv. Secur. 24 (4) (2021)
Andrea Valenza, Gabriele Costa, Alessandro Armando
Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. RAID (2020)
Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations. CoRR (2020)
Alessandro Armando, Giorgia A. Gazzarata, Fatih Turkmen
AQUA: An Efficient Solver for the User Authorization Query Problem. SACMAT (2020)
Alessandro Armando, Giorgia Gazzarata, Fatih Turkmen
Benchmarking UAQ Solvers. SACMAT (2020)
Andrea Valenza, Gabriele Costa, Alessandro Armando
Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. CoRR (2020)
Gabriele Costa, Enrico Russo, Alessandro Armando
Automating the Generation of Cyber Range Virtual Scenarios with VSDL. CoRR (2020)
Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. CoRR (2020)
Enrico Russo, Gabriele Costa, Alessandro Armando
Building next generation Cyber Ranges with CRACK. Comput. Secur. 95 (2020)
Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. CoRR (2019)
Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. ITASEC (2019)
Giuseppina Murino, Alessandro Armando, Armando Tacchella
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures. CyCon (2019)
Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo
Automated Security Analysis of IoT Software Updates. WISTP (2019)
Enrico Russo, Gabriele Costa, Alessandro Armando
Scenario Design and Validation for Next Generation Cyber Ranges. NCA (2018)
Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando
Automatic security verification of mobile app configurations. Future Gener. Comput. Syst. 80 (2018)
Avinash Sudhodanan, Roberto Carbone, Luca Compagna, Nicolas Dolgin, Alessandro Armando, Umberto Morelli
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries. EuroS&P (2017)
Nadia Metoui, Michele Bezzi, Alessandro Armando
Risk-Based Privacy-Aware Access Control for Threat Detection Systems. Trans. Large Scale Data Knowl. Centered Syst. 36 (2017)
Giada Sciarretta, Roberto Carbone, Silvio Ranise, Alessandro Armando
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements. Comput. Secur. 71 (2017)
Alessio Merlo, Gabriele Costa, Luca Verderame, Alessandro Armando
Android vs. SEAndroid: An empirical assessment. Pervasive Mob. Comput. 30 (2016)
Alessandro Armando, Roberto Carbone, Luca Compagna
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Konrad S. Wrona, Sander Oudkerk, Alessandro Armando, Silvio Ranise, Riccardo Traverso, Lisa Ferrari, Richard McEvoy
Assisted content-based labelling and classification of documents. ICMCIS (2016)
Giada Sciarretta, Alessandro Armando, Roberto Carbone, Silvio Ranise
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution. SECRYPT (2016)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies. ABAC@CODASPY (2016)
Avinash Sudhodanan, Alessandro Armando, Roberto Carbone, Luca Compagna
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications. NDSS (2016)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame, Konrad S. Wrona
Developing a NATO BYOD security policy. ICMCIS (2016)
Nadia Metoui, Michele Bezzi, Alessandro Armando
Trust and Risk-Based Access Control for Privacy Preserving Threat Detection Systems. FDSE (2016)
Alessandro Armando, Roberto Carbone, Gabriele Costa, Alessio Merlo
Android Permissions Unleashed. CSF (2015)
Alessandro Armando, Alessio Merlo, Luca Verderame
Trusted host-based card emulation. HPCS (2015)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
Compiling NATO authorization policies for enforcement in the cloud and SDNs. CNS (2015)
Alessandro Armando, Michele Bezzi, Francesco Di Cerbo, Nadia Metoui
Balancing Trust and Risk in Access Control. OTM Conferences (2015)
Alessio Coletta, Alessandro Armando
Security Monitoring for Industrial Control Systems. CyberICS/WOS-CPS@ESORICS (2015)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Formal modeling and automatic enforcement of Bring Your Own Device policies. Int. J. Inf. Sec. 14 (2) (2015)
Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. MIST@CCS (2015)
Alessandro Armando, Michele Bezzi, Nadia Metoui, Antonino Sabetta
Risk-Based Privacy-Aware Information Disclosure. Int. J. Secur. Softw. Eng. 6 (2) (2015)
Alessandro Armando, Silvio Ranise, Riccardo Traverso, Konrad S. Wrona
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies. SACMAT (2015)
Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. TACAS (2015)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Counterexample-guided abstraction refinement for linear programs with arrays. Autom. Softw. Eng. 21 (2) (2014)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Enabling BYOD through secure meta-market. WISEC (2014)
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Silvio Ranise
Attribute based access control for APIs in spring security. SACMAT (2014)
Alessandro Armando, Michele Bezzi, Nadia Metoui, Antonino Sabetta
Risk-Aware Information Disclosure. DPM/SETOP/QASA (2014)
Alessandro Armando, Roberto Carbone, Luca Compagna
SATMC: A SAT-Based Model Checker for Security-Critical Systems. TACAS (2014)
Alessandro Armando, Roberto Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo, Andrea Ranalli, Silvio Ranise
Selective Release of Smart Metering Data in Multi-domain Smart Grids. SmartGridSec (2014)
Alessandro Armando, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
Mobile App Security Analysis with the MAVeriC Static Analysis Module. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (4) (2014)
Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo
Securing the "Bring Your Own Device" Paradigm. Computer 47 (6) (2014)
Alessandro Armando, Alessio Merlo, Luca Verderame
Security considerations related to the use of mobile devices in the operation of critical infrastructures. Int. J. Crit. Infrastructure Prot. 7 (4) (2014)
Alessandro Armando, Serena Elisa Ponta
Model checking authorization requirements in business processes. Comput. Secur. 40 (2014)
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
Scalable and precise automated analysis of administrative temporal role-based access control. SACMAT (2014)
Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS (2013)
Alessandro Armando, Matteo Grasso, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
Content-based information protection and release in NATO operations. SACMAT (2013)
Alessandro Armando, Roberto Carbone, Luca Zanetti
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols. NSS (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)
Alessandro Armando, Alessio Merlo, Luca Verderame
An Empirical Evaluation of the Android Security Framework. SEC (2013)
Alessandro Armando, Alessio Merlo, Mauro Migliardi, Luca Verderame
Breaking and fixing the Android Launching Flow. Comput. Secur. 39 (2013)
Alessandro Armando, Gabriele Costa, Alessio Merlo
Bring your own device, securely. SAC (2013)
Alessandro Armando, Sander Oudkerk, Silvio Ranise, Konrad S. Wrona
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations. FPS (2013)
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. Comput. Secur. 33 (2013)
Silvio Ranise, Anh Tuan Truong, Alessandro Armando
Boosting Model Checking to Analyse Large ARBAC Policies. STM (2012)
Alessandro Armando, Roberto Carbone, Alessio Merlo
Formal Analysis of a Privacy-Preserving Billing Protocol. SmartGridSec (2012)
Alessandro Armando, Silvio Ranise, Fatih Turkmen, Bruno Crispo
Efficient run-time solving of RBAC user authorization queries: pushing the envelope. CODASPY (2012)
Alessandro Armando, Alessio Merlo, Luca Verderame
Security Issues in the Android Cross-Layer Architecture CoRR (2012)
Silvio Ranise, Alessandro Armando
On the Automated Analysis of Safety in Usage Control: A New Decidability Result. NSS (2012)
Alessandro Armando, Silvio Ranise
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving. J. Comput. Secur. 20 (4) (2012)
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)
Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. TAP@TOOLS (2012)
Alessandro Armando, Gavin Lowe
Preface. J. Comput. Secur. 20 (1) (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) (2012)
Alessandro Armando, Silvio Ranise
Automated and Efficient Analysis of Role-Based Access Control with Attributes. DBSec (2012)
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)
Alessandro Armando, Gabriele Costa, Alessio Merlo
Formal Modeling and Reasoning about the Android Security Framework. TGC (2012)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Securing the "Bring Your Own Device" Policy. J. Internet Serv. Inf. Secur. 2 (3/4) (2012)
Alessandro Armando, Roberto Carbone, Silvio Ranise
Automated Analysis of Semantic-Aware Access Control Policies: A Logic-Based Approach. ICSC (2011)
Alessandro Armando, Silvio Ranise
Automated Analysis of Infinite State Workflows with Access Control Policies. STM (2011)
Francesco Alberti, Alessandro Armando, Silvio Ranise
ASASP: Automated Symbolic Analysis of Security Policies. CADE (2011)
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)
Francesco Alberti, Alessandro Armando, Silvio Ranise
Efficient symbolic automated analysis of administrative attribute-based RBAC-policies. AsiaCCS (2011)
Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino
Model-Checking Driven Security Testing of Web-Based Applications. ICST Workshops (2010)
Alessio Merlo, Alessandro Armando
Cooperative access control for the Grid. IAS (2010)
Alessandro Armando, Peter Baumgartner, Gilles Dowek
Preface. J. Autom. Reason. 45 (2) (2010)
Alessandro Armando, Silvio Ranise
Automated Symbolic Analysis of ARBAC-Policies. STM (2010)
Alessandro Armando, Serena Elisa Ponta
Model Checking of Security-Sensitive Business Processes. Formal Aspects in Security and Trust (2009)
Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus (2009)
Alessandro Armando, Roberto Carbone, Luca Compagna
LTL model checking for security protocols. J. Appl. Non Class. Logics 19 (4) (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, Jacopo Mantovani, Lorenzo Platania
Bounded model checking of software using SMT solvers instead of SAT solvers. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Alessandro Armando
Building SMT-Based Software Model Checkers: An Experience Report. FroCoS (2009)
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, 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)
Alessandro Armando, Luca Compagna
SAT-based model-checking for security protocols analysis. Int. J. Inf. Sec. 7 (1) (2008)
Alessandro Armando
Model Checking: New Challenges and Opportunities for Automated Reasoning (Invited Talk). PAAR/ESHOL (2008)
Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
Abstraction Refinement of Linear Programs with Arrays. TACAS (2007)

Alessandro Armando.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alessandro Armando