Gabriele Costa
Gabriele Costa
Verified email at imtlucca.it
Title
Cited by
Cited by
Year
Detection of images with adult content for parental control on mobile devices?
G Amato, P Bolettieri, G Costa, F La Torre, F Martinelli
Proceedings of the 6th International Conference on Mobile Technology …, 2009
742009
Bring your own device, securely
A Armando, G Costa, A Merlo
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1852-1858, 2013
632013
Securing the" bring your own device" paradigm
A Armando, G Costa, L Verderame, A Merlo
Computer 47 (6), 48-56, 2014
452014
Extending security-by-contract with quantitative trust on mobile devices
G Costa, N Dragoni, A Lazouski, F Martinelli, F Massacci, I Matteucci
2010 International Conference on Complex, Intelligent and Software Intensive …, 2010
412010
Formal modeling and reasoning about the android security framework
A Armando, G Costa, A Merlo
International Symposium on Trustworthy Global Computing, 64-81, 2012
402012
Runtime monitoring for next generation Java ME platform
G Costa, F Martinelli, P Mori, C Schaefer, T Walter
Computers & Security 29 (1), 74-87, 2010
362010
Securing Java with local policies
M Bartoletti, C Gabriele, D Pierpaolo, M Fabio, Z Roberto
33*2009
Formal modeling and automatic enforcement of Bring Your Own Device policies
A Armando, G Costa, A Merlo, L Verderame
International Journal of Information Security 14 (2), 123-140, 2015
242015
Enabling BYOD through secure meta-market
A Armando, G Costa, A Merlo, L Verderame
Proceedings of the 2014 ACM conference on Security and privacy in wireless …, 2014
242014
Android permissions unleashed
A Armando, R Carbone, G Costa, A Merlo
2015 IEEE 28th Computer Security Foundations Symposium, 320-333, 2015
162015
Lazy security controllers
G Caravagna, G Costa, G Pardini
International Workshop on Security and Trust Management, 33-48, 2012
132012
Developing a NATO BYOD security policy
A Armando, G Costa, A Merlo, L Verderame, K Wrona
2016 International Conference on Military Communications and Information …, 2016
102016
Automatic security verification of mobile app configurations
G Costa, A Merlo, L Verderame, A Armando
Future Generation Computer Systems 80, 519-536, 2018
92018
Android vs. SEAndroid: An empirical assessment
A Merlo, G Costa, L Verderame, A Armando
Pervasive and Mobile Computing 30, 113-131, 2016
82016
SAM: the static analysis module of the MAVERIC mobile app security verification platform
A Armando, G Bocci, G Chiarelli, G Costa, G De Maglie, R Mammoliti, ...
International Conference on Tools and Algorithms for the Construction and …, 2015
82015
Secure service orchestration in open networks
G Costa, P Degano, F Martinelli
Journal of Systems Architecture 57 (3), 231-239, 2011
72011
Scenario design and validation for next generation cyber ranges
E Russo, G Costa, A Armando
2018 IEEE 17th International Symposium on Network Computing and Applications …, 2018
62018
Securing the" Bring Your Own Device" Policy.
A Armando, G Costa, A Merlo, L Verderame
J. Internet Serv. Inf. Secur. 2 (3/4), 3-17, 2012
62012
Trust-driven policy enforcement through gate automata
G Costa, I Matteucci
2011 Fifth International Conference on Innovative Mobile and Internet …, 2011
62011
Enforcing private policy via security-by-contract
G Costa, I Matteucci
62010
The system can't perform the operation now. Try again later.
Articles 1–20