Short Bio
Gabriele Costa is Associate Professor at the SySMA Group. He received his Laurea degree in Computer Science in 2007 and his Ph.D in Computer Science in 2011. He was a member of the cybersecurity group of the Istituto di informatica e Telematica of the CNR. His appointments include a period as visiting researcher at ETH Zurich in 2016-2017.
He has been co-founder of the Computer Security Laboratory (CSec) at DIBRIS. He is co-founder and CRO of Talos, a spin-off of DIBRIS focused on Cybersecurity.
His focus is on studying and applying formal methods for the automatic verification and testing of mobile and modular systems. These systems include those based on mobile software, web services, cloud and fog computing as well as the critical infrastructures and supply chains.
Publications
Involvement in Scientific Events
Program Commettees
- Italian Conference on Cybersecurity (ITASEC), 2022.
- 12th International Workshop on Automated Specification and Verification of Web Systems (WWV), 2016.
- 11th International Workshop on Security and High Performance Computing Systems (SHPCS), 2016.
- 6th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD), 2016.
- 5th International Workshop on Security, Privacy and Performance in Cloud Computing (SPCLOUD), 2015.
Organizing committees
- IEEE European Symposium on Security and Privacy (EuroSP), 2022.
- Demo and Exhibits Chair at the 15th International Conference on High Performance Computing & Simulation (HPCS), 2017.
- Social Events Chair at the 15th International Conference on High Performance Computing & Simulation (HPCS), 2017.
Invited talks
- Invited Talk at NATO Energy Security Centre of Excellence, Vilnius, 20th March, 2017 (with Armando Tacchella).
- ESSOS’15 Industrial keynote speech “An Industrial platform for Mobile App Security Monitoring: the MAVeriC framework” (on behalf of Rocco Mammoliti).
Research Projects
I participated in the following research projects:
- SPARTA (Strategic Programs for Advanced Research and Technology in Europe) EU H2020, Duration 36 months, starting on February 2019.
- FilieraSicura (Securing the Supply Chain of Domestic Critical Infrastructures from Cyber Attacks) funded by CISCO. Partner institutions: U. of Rome “La Sapienza” (coordinator), U. of Genova, U. of Napoli ``Federico II’’, U of Trento, U. of Venice “Ca’ Foscari”, Politecnico di Milano, Politecnico di Torino, IMT School for Advanced Studies Lucca. Duration: 36 months, starting on January 2017.
- Security Horizons (2010XSEMLC006), funded by the Italian Ministry of Scientific and Technological Research in the context of the PRIN 2011 Programme.
- Secure Provision and Consumption in the Internet of Services (SPaCIoS), STREP project number 257876, funded by the EU in the context of the 7th Framework Programme, THEME ICT-1-1.4 – Secure, dependable and trusted Infrastructures. Partner Institutions: U. of Verona (coordinator), U. of Genova, ETHZ, SAP Research, Siemens AG, Karlsruhe Institute of Technology, Institut Polytechnique de Grenoble. Duration: 36 months from October 11, 2010.
- Network of Excellence on Engineering Secure Future Internet Software Services and Systems, IFIP WG 11.14 Secure Engineering project number 256980, funded by the EU in the context of the 7th Framework Programme. Partner Institutions: IIT CNR (coordinator), Siemens AG, KU Leuven, U. of Malaga, U. of Trento, ATOS Spain, ETH Zurich, IMDEA Software, SINTEF. Duration: 36 months from October 2010 1, 2010.
- Aniketos, ICT-2009.1.4 Trustworthy ICT project number 257930, funded by the EU in the context of the 7th Framework Programme. Pertner Institutions: SINTEF (coordinator), Paris-Lodron-Universitat, SAP, Tecnalia, ATOS Spain, Thales, Selex SPA, Wind Telecomunications, ELSAG Datamat, ITALTEL, Deep Blue, IIT CNR, U. di Trento, John Moores U.
- Connect, ICT-2007.8.6, FET project number 231167, funded by the EU in the context of the 6th Framework Programme. Pertner Institutions: INRIA (coordinator), CNR, DoCoMo, Lancaster U., Thales, U. dell’Aquila, TU Dortmund, U. of Oxford, Uppsala U., Peking U., Ambientic Paris.
Other projects:
- [BYODroid Demonstrator], funded by NATO Communications and Information (NCI) Agency. Duration: 3 months, starting on March 1, 2015.
- Mobile Application Verification Cluster (MAVERIC), funded by Poste Italiane. Duration: 24 months, starting on January 1, 2014.