Gabriele Costa

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Mazurkiewicz Traces

Science Teachers

Technology Enhanced Learning Systems

Top Venues

Publications

Marco Blanchini, Michele Cerreta, Davide Di Monda, Matteo Fabbri, Mario Raciti, Hamza Sajjad Ahmad, Gabriele Costa
Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach. ITASEC (2024)
Gabriele Costa, Pierpaolo Degano, Letterio Galletta, Simone Soderi
Formally verifying security protocols built on watermarking and jamming. Comput. Secur. 128 (2023)
Gabriele Costa, Silvia de Francisci, Serenella Valiani, Paolo Prinetto
Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity. ARES (2023)
Enrico Russo, Gabriele Costa, Giacomo Longo, Alessandro Armando, Alessio Merlo
LiDiTE: A Full-Fledged and Featherweight Digital Twin Framework. IEEE Trans. Dependable Secur. Comput. 20 (6) (2023)
Alessandro Bonfiglio, Gabriele Costa, Silvia de Francisci
NIF: Reactive Injection Attack via Nmap Piggybacking. ITASEC (2023)
Gabriele Costa, Enrico Russo, Alessandro Armando
Automating the Generation of Cyber Range Virtual Scenarios with VSDL. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 13 (4) (2022)
Gianluca Roascio, Gabriele Costa, Emmanuel Baccelli, Lukas Malina, Raimundas Matulevicius, Marius Momeu, Nerijus Morkevicius, Enrico Russo, Branka Stojanovic, Aimilia Tasidou
HArMoNICS: High-Assurance Microgrid Network Infrastructure Case Study. IEEE Access 10 (2022)
Gabriele Costa, Fabio Pinelli, Simone Soderi, Gabriele Tolomei
Turning Federated Learning Systems Into Covert Channels. IEEE Access 10 (2022)
Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame, Konrad S. Wrona
Developing a NATO BYOD security policy. ICMCIS (2016)