Gabriele Costa

According to our database, Gabriele Costa authored at least 61 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Formally verifying security protocols built on watermarking and jamming.

Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi

Comput. Secur., May, 2023

LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework.

Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo

IEEE Trans. Dependable Secur. Comput., 2023

NIF: Reactive Injection Attack via Nmap Piggybacking.

Alessandro Bonfiglio, Gabriele Costa, Silvia de Francisci

Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023

Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity.

Gabriele Costa, Silvia de Francisci, Serenella Valiani, Paolo Prinetto

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

Designing a Serious Game for Cybersecurity Education.

Gabriele Costa, Marina Ribaudo

Proceedings of the Software Engineering for Games in Serious Contexts, 2023

2022

HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study.

Gianluca Roascio, Gabriele Costa, Emmanuel Baccelli, Lukas Malina, Raimundas Matulevicius, Marius Momeu, Nerijus Morkevicius, Enrico Russo, Branka Stojanovic, Aimilia Tasidou

IEEE Access, 2022

Turning Federated Learning Systems Into Covert Channels.

Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei

IEEE Access, 2022

2021

A Protocol for Emotions.

Gabriele Costa

CoRR, 2021

Covert Channel Attack to Federated Learning Systems.

Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei

CoRR, 2021

Enhancing Malware Classification with Symbolic Features.

Chinmay Siwach, Gabriele Costa, Rocco De Nicola

Proceedings of the Italian Conference on Cybersecurity, 2021

Damn Vulnerable Application Scanner.

Gabriele Costa, Enrico Russo, Andrea Valenza

Proceedings of the Italian Conference on Cybersecurity, 2021

2020

WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs.

Andrea Valenza, Luca Demetrio, Gabriele Costa, Giovanni Lagorio

SoftwareX, 2020

Natural Projection as Partial Model Checking.

Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei

J. Autom. Reason., 2020

Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing.

Gabriele Costa, Andrea Valenza

CoRR, 2020

Private-Yet-Verifiable Contact Tracing.

Andrea Canidio, Gabriele Costa, Letterio Galletta

CoRR, 2020

Automating the Generation of Cyber Range Virtual Scenarios with VSDL.

Gabriele Costa, Enrico Russo, Alessandro Armando

CoRR, 2020

A survey on multi-factor authentication for online banking in the wild.

Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Nicola Zannone

Comput. Secur., 2020

Building next generation Cyber Ranges with CRACK.

Enrico Russo, Gabriele Costa, Alessandro Armando

Comput. Secur., 2020

VeriOSS: Using the Blockchain to Foster Bug Bounty Programs.

Andrea Canidio, Gabriele Costa, Letterio Galletta

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

A NERD DOGMA: Introducing CTF to Non-expert Audience.

Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza

Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

WAF-A-MoLE: evading web application firewalls through adversarial machine learning.

Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners.

Andrea Valenza, Gabriele Costa, Alessandro Armando

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

2019

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.

Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise

Proceedings of the Emerging Technologies for Authorization and Authentication, 2019

2018

Automatic security verification of mobile app configurations.

Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando

Future Gener. Comput. Syst., 2018

From Natural Projection to Partial Model Checking and Back.

Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Scenario Design and Validation for Next Generation Cyber Ranges.

Enrico Russo, Gabriele Costa, Alessandro Armando

Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018

2017

Strong Authentication for e-Banking: A Survey on European Regulations and Implementations.

Federico Sinigaglia, Roberto Carbone, Gabriele Costa

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

PolEnA: Enforcing Fine-grained Permission Policies in Android.

Gabriele Costa, Federico Sinigaglia, Roberto Carbone

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Android vs. SEAndroid: An empirical assessment.

Alessio Merlo, Gabriele Costa, Luca Verderame, Alessandro Armando

Pervasive Mob. Comput., 2016

FLEX: A Flexible Code Authentication Framework for Delegating Mobile App Customization.

Gabriele Costa, Paolo Gasti, Alessio Merlo, Shunt-Hsi Yu

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Formal modeling and automatic enforcement of Bring Your Own Device policies.

Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame

Int. J. Inf. Sec., 2015

SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform.

Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Android Permissions Unleashed.

Alessandro Armando, Roberto Carbone, Gabriele Costa, Alessio Merlo

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module.

Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

Securing Android with Local Policies.

Gabriele Costa

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Mobile App Security Analysis with the MAVeriC Static Analysis Module.

Alessandro Armando, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo

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

Securing the "Bring Your Own Device" Paradigm.

Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo

Computer, 2014

Enabling BYOD through secure meta-market.

Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame

Proceedings of the 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2014

2013

Market-Based Security for Mobile Devices.

Gabriele Costa, Alessio Merlo, Luca Verderame

ERCIM News, 2013

Bring your own device, securely.

Alessandro Armando, Gabriele Costa, Alessio Merlo

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Trustworthy Opportunistic Access to the Internet of Services.

Alessandro Armando, Aniello Castiglione, Gabriele Costa, Ugo Fiore, Alessio Merlo, Luca Verderame, Ilsun You

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Multi-dimensional Secure Service Orchestration.

Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin

Proceedings of the Business Process Management Workshops, 2013

2012

Securing the "Bring Your Own Device" Policy.

Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame

J. Internet Serv. Inf. Secur., 2012

Modular plans for secure service composition.

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli

J. Comput. Secur., 2012

Metric-Aware Secure Service Orchestration

Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

Gate automata-driven run-time enforcement.

Gabriele Costa, Ilaria Matteucci

Comput. Math. Appl., 2012

Formal Modeling and Reasoning about the Android Security Framework.

Alessandro Armando, Gabriele Costa, Alessio Merlo

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Lazy Security Controllers.

Giulio Caravagna, Gabriele Costa, Giovanni Pardini

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Lazy Monitoring for Distributed Computing Environments.

Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini

Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

2011

On the Security of Software Systems and Services.

Gabriele Costa

PhD thesis, 2011

Secure service orchestration in open networks.

Gabriele Costa, Pierpaolo Degano, Fabio Martinelli

J. Syst. Archit., 2011

Security and Trust.

Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Elective temporal logic.

Gabriele Costa, Ilaria Matteucci

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Trust-Driven Policy Enforcement through Gate Automata.

Gabriele Costa, Ilaria Matteucci

Proceedings of the Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2011

2010

Security-by-Contract-with-Trust for Mobile Devices.

Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci

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

Parental Control for Mobile Devices.

Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori

ERCIM News, 2010

Runtime monitoring for next generation Java ME platform.

Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter

Comput. Secur., 2010

Extending Security-by-Contract with Quantitative Trust on Mobile Devices.

Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci

Proceedings of the CISIS 2010, 2010

2009

Securing Java with Local Policies.

Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino

J. Object Technol., 2009

Jalapa: Securing Java with Local Policies: Tool Demonstration.

Massimo Bartoletti, Gabriele Costa, Roberto Zunino

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

Detection of images with adult content for parental control on mobile devices?

Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli

Proceedings of the 6th International Conference on Mobile Technology, 2009