Gabriele Costa

79 papers A 4B 2C 1Misc 4Journal 36Unranked 29

Year	Rank	Type	Title / 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