UNIVERSITÀ DEGLI STUDI DI GENOVA SCUOLA POLITECNICA
Gabriele Costa
Ricercatore SSD ING/INF-05
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi viale Causa 5
http://www.dibris.unige.it/
tel. 010 353 6544
gabriele.costa@unige.it
Ambiti di insegnamento e ricerca
Computer Security, Sicurezza dei dispositivi mobili, sicurezza dei linguaggi di programmazione, verifica automatica del software e dell’hardware.
Orario di ricevimento TBD
Curriculum
Gabriele Costa si è laureato in Informatica nel 2007 ed ha conseguito il dottorato di ricerca presso
l’Università di Pisa nel 2011. Dal 2008 al 2011 è stato ricercatore presso l’Istituto di Informatica e Telematica del CNR di Pisa. Dal 2012 è ricercatore presso l’Università di Genova (Assistant Professor dal 2014). Ha collaborato in diversi progetti di ricerca nazionali ed europei tra cui ESSoS, Aniketos, Connect e SPaCIoS.
Inoltre è stato tra gli ideatori dei sistemi iCareMobile e BYODroid. I suoi interessi di ricerca includono (ma non sono limitati a) gli aspetti formali della sicurezza dei linguaggi di programmazione e la verifica automatica dei sistemi software e hardware.
Pubblicazioni significative
1. 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): 123-140 (2015)2014
2. Alessandro Armando, Gabriele Costa, Luca Verderame, Alessio Merlo: Securing the "Bring Your Own Device" Paradigm. IEEE Computer 47(6): 48-56 (2014)
3. Gabriele Costa, Ilaria Matteucci: Gate automata-driven run-time enforcement. Computers &
Mathematics with Applications 63(2): 518-524 (2012)
4. Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular plans for secure service composition.
Journal of Computer Security 20(1): 81-117 (2012)
5. 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: 225-230
6. Alessandro Armando, Gabriele Costa, Alessio Merlo, Luca Verderame: Enabling BYOD through secure meta-market. WISEC 2014: 219-230
7. Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin: Multi-dimensional Secure Service Orchestration.
Business Process Management Workshops 2013: 473-485
8. Alessandro Armando, Gabriele Costa, Alessio Merlo: Bring your own device, securely. SAC 2013: 1852- 1858
UNIVERSITÀ DEGLI STUDI DI GENOVA SCUOLA POLITECNICA
9. Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini: Lazy Monitoring for Distributed Computing Environments. IMIS 2012: 259-265
10. Giulio Caravagna, Gabriele Costa, Giovanni Pardini: Lazy Security Controllers. STM 2012: 33-48
