Detection of images with adult content for parental control on mobile devices? - Giuseppe Amato 001; Paolo Bolettieri; Gabriele Costa 001; Francesco La Torre; Fabio Martinelli (Mobility Conference, 2009)

Jalapa: Securing Java with Local Policies: Tool Demonstration. - Massimo Bartoletti; Gabriele Costa 001; Roberto Zunino (BYTECODE@ETAPS, 2009)

Securing Java with Local Policies. - Massimo Bartoletti; Gabriele Costa 001; Pierpaolo Degano; Fabio Martinelli; Roberto Zunino (J. Object Technol., 2009)

Extending Security-by-Contract with Quantitative Trust on Mobile Devices. - Gabriele Costa 001; Nicola Dragoni; Aliaksandr Lazouski; Fabio Martinelli; Fabio Massacci; Ilaria Matteucci (CISIS, 2010)

Runtime monitoring for next generation Java ME platform. - Gabriele Costa 001; Fabio Martinelli; Paolo Mori; Christian Schaefer; Thomas Walter 001 (Comput. Secur., 2010)

Parental Control for Mobile Devices. - Gabriele Costa 001; Francesco La Torre; Fabio Martinelli; Paolo Mori (ERCIM News, 2010)

Security-by-Contract-with-Trust for Mobile Devices. - Gabriele Costa 001; Aliaksandr Lazouski; Fabio Martinelli; Ilaria Matteucci; Valérie Issarny; Rachid Saadi; Nicola Dragoni; Fabio Massacci (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2010)

Trust-Driven Policy Enforcement through Gate Automata. - Gabriele Costa 001; Ilaria Matteucci (IMIS, 2011)

Elective temporal logic. - Gabriele Costa 001; Ilaria Matteucci (QoSA/ISARCS, 2011)

Security and Trust. - Gabriele Costa 001; Valérie Issarny; Fabio Martinelli; Ilaria Matteucci; Rachid Saadi (SFM, 2011)

Secure service orchestration in open networks. - Gabriele Costa 001; Pierpaolo Degano; Fabio Martinelli (J. Syst. Archit., 2011)

On the Security of Software Systems and Services. - Gabriele Costa 001 (2011)

Lazy Monitoring for Distributed Computing Environments. - Giulio Caravagna; Gabriele Costa 001; Luca Wiegand; Giovanni Pardini (IMIS, 2012)

Lazy Security Controllers. - Giulio Caravagna; Gabriele Costa 001; Giovanni Pardini (STM, 2012)

Formal Modeling and Reasoning about the Android Security Framework. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo (TGC, 2012)

Gate automata-driven run-time enforcement. - Gabriele Costa 001; Ilaria Matteucci (Comput. Math. Appl., 2012)

Metric-Aware Secure Service Orchestration - Gabriele Costa 001; Fabio Martinelli; Artsiom Yautsiukhin (ICE, 2012)

Modular plans for secure service composition. - Gabriele Costa 001; Pierpaolo Degano; Fabio Martinelli (J. Comput. Secur., 2012)

Securing the "Bring Your Own Device" Policy. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo; Luca Verderame (J. Internet Serv. Inf. Secur., 2012)

Multi-dimensional Secure Service Orchestration. - Gabriele Costa 001; Fabio Martinelli; Artsiom Yautsiukhin (Business Process Management Workshops, 2013)

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

Bring your own device, securely. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo (SAC, 2013)

Market-Based Security for Mobile Devices. - Gabriele Costa 001; Alessio Merlo; Luca Verderame (ERCIM News, 2013)

Enabling BYOD through secure meta-market. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo; Luca Verderame (WISEC, 2014)

Securing the "Bring Your Own Device" Paradigm. - Alessandro Armando; Gabriele Costa 001; Luca Verderame; Alessio Merlo (Computer, 2014)

Mobile App Security Analysis with the MAVeriC Static Analysis Module. - Alessandro Armando; Giantonio Chiarelli; Gabriele Costa 001; Gabriele De Maglie; Rocco Mammoliti; Alessio Merlo (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014)

Securing Android with Local Policies. - Gabriele Costa 001 (Programming Languages with Applications to Biology and Security, 2015)

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. - Alessandro Armando; Gianluca Bocci; Gabriele Costa 001; Rocco Mammoliti; Alessio Merlo; Silvio Ranise; Riccardo Traverso; Andrea Valenza (MIST@CCS, 2015)

Android Permissions Unleashed. - Alessandro Armando; Roberto Carbone; Gabriele Costa 001; Alessio Merlo (CSF, 2015)

SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. - Alessandro Armando; Gianluca Bocci; Giantonio Chiarelli; Gabriele Costa 001; Gabriele De Maglie; Rocco Mammoliti; Alessio Merlo (TACAS, 2015)

Formal modeling and automatic enforcement of Bring Your Own Device policies. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo; Luca Verderame (Int. J. Inf. Sec., 2015)

FLEX: A Flexible Code Authentication Framework for Delegating Mobile App Customization. - Gabriele Costa 001; Paolo Gasti; Alessio Merlo; Shunt-Hsi Yu (AsiaCCS, 2016)

Developing a NATO BYOD security policy. - Alessandro Armando; Gabriele Costa 001; Alessio Merlo; Luca Verderame; Konrad S. Wrona (ICMCIS, 2016)

Android vs. SEAndroid: An empirical assessment. - Alessio Merlo; Gabriele Costa 001; Luca Verderame; Alessandro Armando (Pervasive Mob. Comput., 2016)

PolEnA: Enforcing Fine-grained Permission Policies in Android. - Gabriele Costa 001; Federico Sinigaglia; Roberto Carbone (SAFECOMP Workshops, 2017)

Strong Authentication for e-Banking: A Survey on European Regulations and Implementations. - Federico Sinigaglia; Roberto Carbone; Gabriele Costa 001 (SECRYPT, 2017)

Scenario Design and Validation for Next Generation Cyber Ranges. - Enrico Russo 001; Gabriele Costa 001; Alessandro Armando (NCA, 2018)

From Natural Projection to Partial Model Checking and Back. - Gabriele Costa 001; David A. Basin; Chiara Bodei; Pierpaolo Degano; Letterio Galletta (TACAS (1), 2018)

Automatic security verification of mobile app configurations. - Gabriele Costa 001; Alessio Merlo; Luca Verderame; Alessandro Armando (Future Gener. Comput. Syst., 2018)

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols. - Federico Sinigaglia; Roberto Carbone; Gabriele Costa 001; Silvio Ranise (ETAA@ESORICS, 2019)

Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. - Andrea Valenza; Gabriele Costa 001; Alessandro Armando (RAID, 2020)

WAF-A-MoLE: evading web application firewalls through adversarial machine learning. - Luca Demetrio; Andrea Valenza; Gabriele Costa 001; Giovanni Lagorio (SAC, 2020)

A NERD DOGMA: Introducing CTF to Non-expert Audience. - Gabriele Costa 001; Martina Lualdi; Marina Ribaudo; Andrea Valenza (SIGITE, 2020)

VeriOSS: Using the Blockchain to Foster Bug Bounty Programs. - Andrea Canidio; Gabriele Costa 001; Letterio Galletta (Tokenomics, 2020)

Building next generation Cyber Ranges with CRACK. - Enrico Russo 001; Gabriele Costa 001; Alessandro Armando (Comput. Secur., 2020)

A survey on multi-factor authentication for online banking in the wild. - Federico Sinigaglia; Roberto Carbone; Gabriele Costa 001; Nicola Zannone (Comput. Secur., 2020)

Private-Yet-Verifiable Contact Tracing. - Andrea Canidio; Gabriele Costa 001; Letterio Galletta (CoRR, 2020)

Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing. - Gabriele Costa 001; Andrea Valenza (CoRR, 2020)

Natural Projection as Partial Model Checking. - Gabriele Costa 001; Letterio Galletta; Pierpaolo Degano; David A. Basin; Chiara Bodei (J. Autom. Reason., 2020)

WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs. - Andrea Valenza; Luca Demetrio; Gabriele Costa 001; Giovanni Lagorio (SoftwareX, 2020)

Damn Vulnerable Application Scanner. - Gabriele Costa 001; Enrico Russo 001; Andrea Valenza (ITASEC, 2021)

Enhancing Malware Classification with Symbolic Features. - Chinmay Siwach; Gabriele Costa 001; Rocco De Nicola (ITASEC, 2021)

Covert Channel Attack to Federated Learning Systems. - Gabriele Costa 001; Fabio Pinelli; Simone Soderi; Gabriele Tolomei (CoRR, 2021)

A Protocol for Emotions. - Gabriele Costa 001 (CoRR, 2021)

Turning Federated Learning Systems Into Covert Channels. - Gabriele Costa 001; Fabio Pinelli; Simone Soderi; Gabriele Tolomei (IEEE Access, 2022)

HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study. - Gianluca Roascio; Gabriele Costa 001; Emmanuel Baccelli; Lukas Malina; Raimundas Matulevicius; Marius Momeu; Nerijus Morkevicius; Enrico Russo 001; Branka Stojanovic; Aimilia Tasidou (IEEE Access, 2022)

Automating the Generation of Cyber Range Virtual Scenarios with VSDL. - Gabriele Costa 001; Enrico Russo 001; Alessandro Armando (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2022)

Designing a Serious Game for Cybersecurity Education. - Gabriele Costa 001; Marina Ribaudo (Software Engineering for Games in Serious Contexts, 2023)

Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity. - Gabriele Costa 001; Silvia de Francisci; Serenella Valiani; Paolo Prinetto (ARES, 2023)

NIF: Reactive Injection Attack via Nmap Piggybacking. - Alessandro Bonfiglio; Gabriele Costa 001; Silvia de Francisci (ITASEC, 2023)

LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework. - Enrico Russo 001; Gabriele Costa 001; Giacomo Longo; Alessandro Armando; Alessio Merlo (IEEE Trans. Dependable Secur. Comput., 2023)

Formally verifying security protocols built on watermarking and jamming. - Gabriele Costa 001; Pierpaolo Degano; Letterio Galletta; Simone Soderi (Comput. Secur., 2023)

Automating Penetration Testing with MeTeOr. - Michele Cerreta; Gabriele Costa 001 (EuroS&P Workshops, 2024)

Systems Security Modeling and Analysis at IMT Lucca. - Gabriele Costa 001; Silvia de Francisci; Letterio Galletta; Cosimo Perini Brogi; Marinella Petrocchi; Fabio Pinelli; Roberto Pizziol; Manuel Pratelli; Margherita Renieri; Simone Soderi; Mirco Tribastone; Serenella Valiani (ISoLA (1), 2024)

Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach. - Marco Blanchini; Michele Cerreta; Davide Di Monda; Matteo Fabbri; Mario Raciti; Hamza Sajjad Ahmad; Gabriele Costa 001 (ITASEC, 2024)

Toward dynamic epistemic verification of zero-knowledge protocols. - Gabriele Costa 001; Cosimo Perini Brogi (ITASEC, 2024)

Z-MDZS: Zero-day Malware Detection using Zero-Shot Machine Learning Schemes. - Attaullah Buriro; Flaminia L. Luccio; Gabriele Costa 001; Riccardo Focardi (CCNC, 2025)

Tackling the Gender Gap in Cybersecurity Education. - Gabriele Costa 001; Silvia de Francisci; Margherita Renieri; Serenella Valiani (SIGCSE (1), 2025)

The Beauty and the Beast: A survey on process algebras and cybersecurity. - Gabriele Costa 001; Silvia de Francisci; Rocco De Nicola (Comput. Sci. Rev., 2025)

Managerial Insights on Investment Strategy in Cybersecurity: Findings from Multi-Country Research. - Silvia Tedeschi; Giacomo Marzi; Marco Balzano; Gabriele Costa 001 (CoRR, 2025)

The Postman: A Journey of Ethical Hacking in PosteID/SPID Borderland. - Gabriele Costa 001 (CoRR, 2025)