Gabriele Costa

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 27

Top Topics

Factor Authentication

Static Analysis

Top Venues

Future Gener. Comput. Syst.

Publications

Gabriele Costa, Cosimo Perini Brogi
Toward dynamic epistemic verification of zero-knowledge protocols. ITASEC (2024)
Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
LiDiTE: a Full-Fledged and Featherweight Digital Twin Framework. CoRR (2022)
Gabriele Costa, Enrico Russo, Andrea Valenza
Damn Vulnerable Application Scanner. ITASEC (2021)
Gabriele Costa
A Protocol for Emotions. CoRR (2021)
Chinmay Siwach, Gabriele Costa, Rocco De Nicola
Enhancing Malware Classification with Symbolic Features. ITASEC (2021)
Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei
Covert Channel Attack to Federated Learning Systems. CoRR (2021)
Andrea Valenza, Gabriele Costa, Alessandro Armando
Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. RAID (2020)
Andrea Valenza, Luca Demetrio, Gabriele Costa, Giovanni Lagorio
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs. SoftwareX 11 (2020)
Gabriele Costa, Andrea Valenza
Why Charles Can Pen-test: an Evolutionary Approach to Vulnerability Testing. CoRR (2020)
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Nicola Zannone
A survey on multi-factor authentication for online banking in the wild. Comput. Secur. 95 (2020)
Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
WAF-A-MoLE: Evading Web Application Firewalls through Adversarial Machine Learning. CoRR (2020)
Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
WAF-A-MoLE: evading web application firewalls through adversarial machine learning. SAC (2020)
Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza
A NERD DOGMA: Introducing CTF to Non-expert Audience. SIGITE (2020)
Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David A. Basin, Chiara Bodei
Natural Projection as Partial Model Checking. J. Autom. Reason. 64 (7) (2020)
Andrea Canidio, Gabriele Costa, Letterio Galletta
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs. Tokenomics (2020)
Andrea Canidio, Gabriele Costa, Letterio Galletta
Private-Yet-Verifiable Contact Tracing. CoRR (2020)
Andrea Valenza, Gabriele Costa, Alessandro Armando
Never Trust Your Victim: Weaponizing Vulnerabilities in Security Scanners. CoRR (2020)
Gabriele Costa, Enrico Russo, Alessandro Armando
Automating the Generation of Cyber Range Virtual Scenarios with VSDL. CoRR (2020)
Enrico Russo, Gabriele Costa, Alessandro Armando
Building next generation Cyber Ranges with CRACK. Comput. Secur. 95 (2020)
Federico Sinigaglia, Roberto Carbone, Gabriele Costa, Silvio Ranise
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols. ETAA@ESORICS (2019)
Enrico Russo, Gabriele Costa, Alessandro Armando
Scenario Design and Validation for Next Generation Cyber Ranges. NCA (2018)
Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta
From Natural Projection to Partial Model Checking and Back. TACAS (1) (2018)
Gabriele Costa, Alessio Merlo, Luca Verderame, Alessandro Armando
Automatic security verification of mobile app configurations. Future Gener. Comput. Syst. 80 (2018)
Gabriele Costa, Federico Sinigaglia, Roberto Carbone
PolEnA: Enforcing Fine-grained Permission Policies in Android. SAFECOMP Workshops (2017)
Federico Sinigaglia, Roberto Carbone, Gabriele Costa
Strong Authentication for e-Banking: A Survey on European Regulations and Implementations. SECRYPT (2017)
Alessio Merlo, Gabriele Costa, Luca Verderame, Alessandro Armando
Android vs. SEAndroid: An empirical assessment. Pervasive Mob. Comput. 30 (2016)
Gabriele Costa, Paolo Gasti, Alessio Merlo, Shunt-Hsi Yu
FLEX: A Flexible Code Authentication Framework for Delegating Mobile App Customization. AsiaCCS (2016)
Alessandro Armando, Roberto Carbone, Gabriele Costa, Alessio Merlo
Android Permissions Unleashed. CSF (2015)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Formal modeling and automatic enforcement of Bring Your Own Device policies. Int. J. Inf. Sec. 14 (2) (2015)
Alessandro Armando, Gianluca Bocci, Gabriele Costa, Rocco Mammoliti, Alessio Merlo, Silvio Ranise, Riccardo Traverso, Andrea Valenza
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module. MIST@CCS (2015)
Gabriele Costa
Securing Android with Local Policies. Programming Languages with Applications to Biology and Security (2015)
Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform. TACAS (2015)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Enabling BYOD through secure meta-market. WISEC (2014)
Alessandro Armando, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo
Mobile App Security Analysis with the MAVeriC Static Analysis Module. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (4) (2014)
Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo
Securing the "Bring Your Own Device" Paradigm. Computer 47 (6) (2014)
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
Multi-dimensional Secure Service Orchestration. Business Process Management Workshops (2013)
Alessandro Armando, Aniello Castiglione, Gabriele Costa, Ugo Fiore, Alessio Merlo, Luca Verderame, Ilsun You
Trustworthy Opportunistic Access to the Internet of Services. ICT-EurAsia (2013)
Alessandro Armando, Gabriele Costa, Alessio Merlo
Bring your own device, securely. SAC (2013)
Gabriele Costa, Alessio Merlo, Luca Verderame
Market-Based Security for Mobile Devices. ERCIM News 2013 (93) (2013)
Gabriele Costa, Ilaria Matteucci
Gate automata-driven run-time enforcement. Comput. Math. Appl. 63 (2) (2012)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular plans for secure service composition. J. Comput. Secur. 20 (1) (2012)
Giulio Caravagna, Gabriele Costa, Giovanni Pardini
Lazy Security Controllers. STM (2012)
Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini
Lazy Monitoring for Distributed Computing Environments. IMIS (2012)
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
Metric-Aware Secure Service Orchestration ICE (2012)
Alessandro Armando, Gabriele Costa, Alessio Merlo
Formal Modeling and Reasoning about the Android Security Framework. TGC (2012)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame
Securing the "Bring Your Own Device" Policy. J. Internet Serv. Inf. Secur. 2 (3/4) (2012)
Gabriele Costa, Ilaria Matteucci
Elective temporal logic. QoSA/ISARCS (2011)
Gabriele Costa, Ilaria Matteucci
Trust-Driven Policy Enforcement through Gate Automata. IMIS (2011)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Secure service orchestration in open networks. J. Syst. Archit. 57 (3) (2011)
Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust. SFM (2011)
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Valérie Issarny, Rachid Saadi, Nicola Dragoni, Fabio Massacci
Security-by-Contract-with-Trust for Mobile Devices. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 1 (4) (2010)
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular Plans for Secure Service Composition. ARSPA-WITS (2010)
Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci
Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS (2010)
Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter
Runtime monitoring for next generation Java ME platform. Comput. Secur. 29 (1) (2010)
Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori
Parental Control for Mobile Devices. ERCIM News 2010 (82) (2010)
Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli
Detection of images with adult content for parental control on mobile devices? Mobility Conference (2009)
Massimo Bartoletti, Gabriele Costa, Roberto Zunino
Jalapa: Securing Java with Local Policies: Tool Demonstration. Electron. Notes Theor. Comput. Sci. 253 (5) (2009)
Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino
Securing Java with Local Policies. J. Object Technol. 8 (4) (2009)