A. Armando

Most-cited papers

Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware
Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more
2020IEEE Transactions on Information Forensics and Security199 citations Open access
Semantic Scholar
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries
Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more
2019Italian Conference on Cybersecurity154 citations
Semantic Scholar
Adversarial EXEmples
Luca Demetrio, Scott E. Coull, B. Biggio, Giovanni Lagorio +2 more
2020ACM Transactions on Privacy and Security92 citations Open access
Semantic Scholar
An authentication flaw in browser-based Single Sign-On protocols: Impact and remediations
A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar +2 more
2013Computers & security72 citations
Semantic Scholar
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
A. Armando, R. Carbone, L. Compagna
2015International Journal on Software Tools for Technology Transfer (STTT)54 citations
Semantic Scholar
Building next generation Cyber Ranges with CRACK
E. Russo, Gabriele Costa, A. Armando
2020Computers & security48 citations
Semantic Scholar
Bring your own device, securely
A. Armando, Gabriele Costa, A. Merlo
2013ACM Symposium on Applied Computing48 citations
Semantic Scholar
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries
Avinash Sudhodanan, R. Carbone, L. Compagna, Nicolas Dolgin +2 more
2017European Symposium on Security and Privacy43 citations
Semantic Scholar
SATMC: A SAT-Based Model Checker for Security-Critical Systems
A. Armando, R. Carbone, L. Compagna
2014International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations
Semantic Scholar
Securing the "Bring Your Own Device" Paradigm
A. Armando, Gabriele Costa, Luca Verderame, A. Merlo
2014Computer38 citations
Semantic Scholar
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
Avinash Sudhodanan, A. Armando, R. Carbone, L. Compagna
2016Network and Distributed System Security Symposium37 citations Open access
Semantic Scholar
Enabling BYOD through secure meta-market
A. Armando, Gabriele Costa, A. Merlo, Luca Verderame
2014Wireless Network Security32 citations
Semantic Scholar
Breaking and fixing the Android Launching Flow
A. Armando, A. Merlo, M. Migliardi, Luca Verderame
2013Computers & security31 citations Open access
Semantic Scholar
Automating the Generation of Cyber Range Virtual Scenarios with VSDL
Gabriele Costa, E. Russo, A. Armando
2020J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.30 citations Open access
Semantic Scholar
Scalable and precise automated analysis of administrative temporal role-based access control
S. Ranise, A. Truong, A. Armando
2014ACM Symposium on Access Control Models and Technologies26 citations
Semantic Scholar
Evaluation of the influence of building façade design on the acoustic characteristics and auditory perception of urban spaces
Cristina Calleri, L. Shtrepi, A. Armando, A. Astolfi
201824 citations
Semantic Scholar
Resilience of Cyber-Physical Systems: an Experimental Appraisal of Quantitative Measures
G. Murino, A. Armando, A. Tacchella
2019International Conference on Cyber Conflict22 citations
Semantic Scholar
Scenario Design and Validation for Next Generation Cyber Ranges
E. Russo, Gabriele Costa, A. Armando
2018IEEE International Symposium on Network Computing and Applications22 citations
Semantic Scholar
Experimental Use of Strategic Choice Approach (SCA) by Individuals as an Architectural Design Tool
Elena Todella, I. Lami, A. Armando
201821 citations
Semantic Scholar
Model checking authorization requirements in business processes
A. Armando, S. E. Ponta
2014Computers & security21 citations
Semantic Scholar
Automated and Efficient Analysis of Role-Based Access Control with Attributes
A. Armando, S. Ranise
2012Database Security21 citations Open access
Semantic Scholar
LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework
E. Russo, Gabriele Costa, G. Longo, A. Armando +1 more
2022IEEE Transactions on Dependable and Secure Computing19 citations Open access
Semantic Scholar
Risk-Based Privacy-Aware Information Disclosure
A. Armando, M. Bezzi, Nadia Metoui, A. Sabetta
2015International Journal of Secure Software Engineering18 citations
Semantic Scholar
An Empirical Evaluation of the Android Security Framework
A. Armando, A. Merlo, Luca Verderame
2013IFIP International Information Security Conference18 citations Open access
Semantic Scholar
Boosting Model Checking to Analyse Large ARBAC Policies
S. Ranise, A. Truong, A. Armando
2012International Workshop on Security and Trust Management18 citations
Semantic Scholar
Training the Maritime Security Operations Centre Teams
Marco Raimondi, G. Longo, A. Merlo, A. Armando +1 more
2022Computer Science Symposium in Russia17 citations
Semantic Scholar
Formal modeling and automatic enforcement of Bring Your Own Device policies
A. Armando, Gabriele Costa, A. Merlo, Luca Verderame
2015International Journal of Information Security17 citations
Semantic Scholar
On the ability to correlate perceived sound to urban space geometries
Cristina Calleri, A. Astolfi, A. Armando, L. Shtrepi
201616 citations
Semantic Scholar
Security Monitoring for Industrial Control Systems
A. Coletta, A. Armando
2015CyberICS/WOS-CPS@ESORICS16 citations
Semantic Scholar
Android Permissions Unleashed
A. Armando, R. Carbone, Gabriele Costa, A. Merlo
2015IEEE Computer Security Foundations Symposium16 citations Open access
Semantic Scholar
Attribute based access control for APIs in spring security
A. Armando, R. Carbone, Eyasu Getahun Chekole, S. Ranise
2014ACM Symposium on Access Control Models and Technologies15 citations
Semantic Scholar
Efficient run-time solving of RBAC user authorization queries: pushing the envelope
A. Armando, S. Ranise, Fatih Turkmen, B. Crispo
2012Conference on Data and Application Security and Privacy15 citations
Semantic Scholar
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
G. Sciarretta, R. Carbone, S. Ranise, A. Armando
2017Computers & security14 citations
Semantic Scholar
Risk-Aware Information Disclosure
A. Armando, M. Bezzi, Nadia Metoui, A. Sabetta
2014DPM/SETOP/QASA14 citations
Semantic Scholar
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
A. Armando, S. Oudkerk, S. Ranise, Konrad S. Wrona
2013Foundations and Practice of Security14 citations
Semantic Scholar
Automatic security verification of mobile app configurations
Gabriele Costa, A. Merlo, Luca Verderame, A. Armando
2018Future generations computer systems13 citations
Semantic Scholar
Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations
Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more
2020arXiv.org12 citations
Semantic Scholar
Balancing Trust and Risk in Access Control
A. Armando, M. Bezzi, Francesco Di Cerbo, Nadia Metoui
2015OTM Conferences12 citations
Semantic Scholar
Security considerations related to the use of mobile devices in the operation of critical infrastructures
A. Armando, A. Merlo, Luca Verderame
2014Int. J. Crit. Infrastructure Prot.12 citations
Semantic Scholar
Content-based information protection and release in NATO operations
A. Armando, M. Grasso, S. Oudkerk, S. Ranise +1 more
2013ACM Symposium on Access Control Models and Technologies12 citations
Semantic Scholar
Assisted content-based labelling and classification of documents
Konrad S. Wrona, S. Oudkerk, A. Armando, S. Ranise +3 more
20162016 International Conference on Military Communications and Information Systems (ICMCIS)10 citations
Semantic Scholar
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies
A. Armando, S. Ranise, Riccardo Traverso, Konrad S. Wrona
2016ABAC '169 citations
Semantic Scholar
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
A. Armando, R. Carbone, Luca Zanetti
2013International Conference on Network and System Security9 citations
Semantic Scholar
Risk-Based Privacy-Aware Access Control for Threat Detection Systems
Nadia Metoui, M. Bezzi, A. Armando
2017Trans. Large Scale Data Knowl. Centered Syst.8 citations
Semantic Scholar
Trusted host-based card emulation
A. Armando, A. Merlo, Luca Verderame
2015International Symposium on High Performance Computing Systems and Applications8 citations
Semantic Scholar
Developing a NATO BYOD security policy
A. Armando, Gabriele Costa, A. Merlo, Luca Verderame +1 more
20162016 International Conference on Military Communications and Information Systems (ICMCIS)7 citations
Semantic Scholar
Mobile App Security Analysis with the MAVeriC Static Analysis Module
A. Armando, G. Chiarelli, Gabriele Costa, Gabriele De Maglie +2 more
2014J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.7 citations
Semantic Scholar
Selective Release of Smart Metering Data in Multi-domain Smart Grids
A. Armando, R. Carbone, Eyasu Getahun Chekole, Claudio Petrazzuolo +2 more
2014International Workshop on Smart Grid Security7 citations
Semantic Scholar
Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners
Andrea Valenza, Gabriele Costa, A. Armando
2020International Symposium on Recent Advances in Intrusion Detection6 citations
Semantic Scholar
Automated Security Analysis of IoT Software Updates
Nicolas Dejon, David J. Caputo, Luca Verderame, A. Armando +1 more
2019Workshop in Information Security Theory and Practice6 citations Open access
Semantic Scholar