Gabriele Costa

79 papers A 4B 2C 1Misc 4Journal 36Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Control-Flow Integrity for Resource-Constrained Devices.
Comput. Secur.
Gianluca Roascio, Nicolò Maunero, Gabriele Costa
2025 J jnl
CARBUROS: A Formally Verified Authentication Protocol for V2X Communications.
IEEE Access
Marco De Vincenzi, Chiara Bodei, Gabriele Costa, Ilaria Matteucci
2025 J jnl
Managerial Insights on Investment Strategy in Cybersecurity: Findings from Multi-Country Research.
CoRR
Silvia Tedeschi, Giacomo Marzi, Marco Balzano, Gabriele Costa
2025 — ed.
Proceedings of the Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), Bologna, Italy, February 03-08, 2025.
ITASEC/SERICS
Gabriele Costa, Rebecca Montanari, Michele Carminati, Giada Sciarretta
2025 — conf
Tackling the Gender Gap in Cybersecurity Education.
SIGCSE (1)
Gabriele Costa, Silvia de Francisci, Margherita Renieri, Serenella Valiani
2025 J jnl
The Beauty and the Beast: A survey on process algebras and cybersecurity.
Comput. Sci. Rev.
Gabriele Costa, Silvia de Francisci, Rocco De Nicola
2025 J jnl
The Postman: A Journey of Ethical Hacking in PosteID/SPID Borderland.
CoRR
Gabriele Costa
2025 — conf
Z-MDZS: Zero-day Malware Detection using Zero-Shot Machine Learning Schemes.
CCNC
Attaullah Buriro, Flaminia L. Luccio, Gabriele Costa, Riccardo Focardi
2024 — conf
Automating Penetration Testing with MeTeOr.
EuroS&P Workshops
Michele Cerreta, Gabriele Costa
2024 — conf
Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach.
ITASEC
Marco Blanchini, Michele Cerreta, Davide Di Monda, Matteo Fabbri, Mario Raciti, Hamza Sajjad Ahmad, Gabriele Costa
2024 — conf
Systems Security Modeling and Analysis at IMT Lucca.
ISoLA (1)
Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani
2024 — conf
Toward dynamic epistemic verification of zero-knowledge protocols.
ITASEC
Gabriele Costa, Cosimo Perini Brogi
2023 — ch.
Designing a Serious Game for Cybersecurity Education.
Software Engineering for Games in Serious Contexts
Gabriele Costa, Marina Ribaudo
2023 J jnl
Formally verifying security protocols built on watermarking and jamming.
Comput. Secur.
Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
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
2023 — conf
NIF: Reactive Injection Attack via Nmap Piggybacking.
ITASEC
Alessandro Bonfiglio, Gabriele Costa, Silvia de Francisci
2023 B conf
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity.
ARES
Gabriele Costa, Silvia de Francisci, Serenella Valiani, Paolo Prinetto
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
HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study.
IEEE Access
Gianluca Roascio, Gabriele Costa, Emmanuel Baccelli, Lukas Malina, Raimundas Matulevicius, Marius Momeu, Nerijus Morkevicius, Enrico Russo, Branka Stojanovic, Aimilia Tasidou
2022 J jnl
LiDiTE: a Full-Fledged and Featherweight Digital Twin Framework.
CoRR
Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
2022 J jnl
Turning Federated Learning Systems Into Covert Channels.
IEEE Access
Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei
2021 J jnl
A Protocol for Emotions.
CoRR
Gabriele Costa
2021 J jnl
Covert Channel Attack to Federated Learning Systems.
CoRR
Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei
2021 — conf
Damn Vulnerable Application Scanner.
ITASEC
Gabriele Costa, Enrico Russo, Andrea Valenza
2021 — conf
Enhancing Malware Classification with Symbolic Features.
ITASEC
Chinmay Siwach, Gabriele Costa, Rocco De Nicola
2020 Misc conf
A NERD DOGMA: Introducing CTF to Non-expert Audience.
SIGITE
Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza
2020 J jnl
A survey on multi-factor authentication for online banking in the wild.
Comput. Secur.
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Nicola Zannone
2020 J jnl
Automating the Generation of Cyber Range Virtual Scenarios with VSDL.
CoRR
Gabriele Costa, Enrico Russo, Alessandro Armando
2020 J jnl
Building next generation Cyber Ranges with CRACK.
Comput. Secur.
Enrico Russo, Gabriele Costa, Alessandro Armando
2020 J jnl
Natural Projection as Partial Model Checking.
J. Autom. Reason.
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
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
2020 J jnl
Private-Yet-Verifiable Contact Tracing.
CoRR
Andrea Canidio, Gabriele Costa, Letterio Galletta
2020 — conf
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs.
Tokenomics
Andrea Canidio, Gabriele Costa, Letterio Galletta
2020 J jnl
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs.
SoftwareX
Andrea Valenza, Luca Demetrio, Gabriele Costa, Giovanni Lagorio
2020 J jnl
WAF-A-MoLE: Evading Web Application Firewalls through Adversarial Machine Learning.
CoRR
Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
2020 Misc conf
WAF-A-MoLE: evading web application firewalls through adversarial machine learning.
SAC
Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
2020 J jnl
Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing.
CoRR
Gabriele Costa, Andrea Valenza
2019 — conf
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.
ETAA@ESORICS
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
2018 J jnl
Automatic security verification of mobile app configurations.
Future Gener. Comput. Syst.
Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando
2018 — conf
From Natural Projection to Partial Model Checking and Back.
TACAS (1)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
2018 B conf
Scenario Design and Validation for Next Generation Cyber Ranges.
NCA
Enrico Russo, Gabriele Costa, Alessandro Armando
2017 — conf
PolEnA: Enforcing Fine-grained Permission Policies in Android.
SAFECOMP Workshops
Gabriele Costa, Federico Sinigaglia, Roberto Carbone
2017 C conf
Strong Authentication for e-Banking: A Survey on European Regulations and Implementations.
SECRYPT
Federico Sinigaglia, Roberto Carbone, Gabriele Costa
2016 J jnl
Android vs. SEAndroid: An empirical assessment.
Pervasive Mob. Comput.
Alessio Merlo, Gabriele Costa, Luca Verderame, Alessandro Armando
2016 — conf
Developing a NATO BYOD security policy.
ICMCIS
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame, Konrad S. Wrona
2016 A conf
FLEX: A Flexible Code Authentication Framework for Delegating Mobile App Customization.
AsiaCCS
Gabriele Costa, Paolo Gasti, Alessio Merlo, Shunt-Hsi Yu
2015 A conf
Android Permissions Unleashed.
CSF
Alessandro Armando, Roberto Carbone, Gabriele Costa, Alessio Merlo
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 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
Securing Android with Local Policies.
Programming Languages with Applications to Biology and Security
Gabriele Costa
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
Securing the "Bring Your Own Device" Paradigm.
Computer
Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo
2013 Misc conf
Bring your own device, securely.
SAC
Alessandro Armando, Gabriele Costa, Alessio Merlo
2013 J jnl
Market-Based Security for Mobile Devices.
ERCIM News
Gabriele Costa, Alessio Merlo, Luca Verderame
2013 — conf
Multi-dimensional Secure Service Orchestration.
Business Process Management Workshops
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
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 — conf
Formal Modeling and Reasoning about the Android Security Framework.
TGC
Alessandro Armando, Gabriele Costa, Alessio Merlo
2012 J jnl
Gate automata-driven run-time enforcement.
Comput. Math. Appl.
Gabriele Costa, Ilaria Matteucci
2012 — conf
Lazy Monitoring for Distributed Computing Environments.
IMIS
Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini
2012 — conf
Lazy Security Controllers.
STM
Giulio Caravagna, Gabriele Costa, Giovanni Pardini
2012 — conf
Metric-Aware Secure Service Orchestration
ICE
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
2012 J jnl
Modular plans for secure service composition.
J. Comput. Secur.
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2012 J jnl
Securing the "Bring Your Own Device" Policy.
J. Internet Serv. Inf. Secur.
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
2011 — conf
Elective temporal logic.
QoSA/ISARCS
Gabriele Costa, Ilaria Matteucci
2011 — —
On the Security of Software Systems and Services.
Gabriele Costa
2011 J jnl
Secure service orchestration in open networks.
J. Syst. Archit.
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2011 — conf
Security and Trust.
SFM
Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
2011 — conf
Trust-Driven Policy Enforcement through Gate Automata.
IMIS
Gabriele Costa, Ilaria Matteucci
2010 Misc conf
Extending Security-by-Contract with Quantitative Trust on Mobile Devices.
CISIS
Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci
2010 — conf
Modular Plans for Secure Service Composition.
ARSPA-WITS
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
2010 J jnl
Parental Control for Mobile Devices.
ERCIM News
Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori
2010 J jnl
Runtime monitoring for next generation Java ME platform.
Comput. Secur.
Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter
2010 J jnl
Security-by-Contract-with-Trust for Mobile Devices.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci
2009 — conf
Detection of images with adult content for parental control on mobile devices?
Mobility Conference
Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli
2009 — conf
Jalapa: Securing Java with Local Policies: Tool Demonstration.
BYTECODE@ETAPS
Massimo Bartoletti, Gabriele Costa, Roberto Zunino
2009 J jnl
Securing Java with Local Policies.
J. Object Technol.
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino