COSTA, GABRIELE

COSTA, GABRIELE  

100025 - Dipartimento di ingegneria meccanica, energetica, gestionale e dei trasporti  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.052 secondi).
Titolo Data di pubblicazione Autore(i) File
Android Permissions Unleashed 1-gen-2015 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Android vs. SEAndroid: An empirical assessment 1-gen-2016 Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro
Automatic security verification of mobile app configurations 1-gen-2018 Costa, Gabriele; Merlo, Alessio; Verderame, Luca; Armando, Alessandro
Bring your own device, securely 1-gen-2013 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Detection of images with adult content for parental control on mobile devices 1-gen-2009 G., Amato; P., Bolettieri; Costa, Gabriele; F., la Torre; F., Martinelli
Developing a NATO BYOD security policy 1-gen-2016 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca; Wrona, Konrad
Elective temporal logic 1-gen-2011 Costa, Gabriele; I., Matteucci
Enabling BYOD through secure meta-market 1-gen-2014 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Extending Security-by-Contract with Quantitative Trust on Mobile Devices 1-gen-2010 Costa, Gabriele; N., Dragoni; A., Lazouski; F., Martinelli; F., Massacci; I., Matteucci
FLEX: A flexible code authentication framework for delegating mobile app customization 1-gen-2016 Costa, Gabriele; Gasti, Paolo; Merlo, Alessio; Yu, Shunt Hsi
Formal modeling and automatic enforcement of Bring Your Own Device policies 1-gen-2014 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Formal Modeling and Reasoning about the Android Security Framework 1-gen-2013 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
Gate automata-driven run-time enforcement 1-gen-2012 Costa, Gabriele; I., Matteucci
Jalapa: Securing Java with Local Policies 1-gen-2009 M., Bartoletti; Costa, Gabriele; R., Zunino
Lazy Security Controllers 1-gen-2013 G., Caravagna; Costa, Gabriele; G., Pardini
Market-based security for mobile devices 1-gen-2013 Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Mobile App Security Analysis with the MAVeriC Static Analysis Module 1-gen-2014 Armando, Alessandro; G., Bocci; G., Chiarelli; Costa, Gabriele; G., De Maglie; R., Mammoliti; Merlo, Alessio
Mobile app security assessment with the maveric dynamic analysis module 1-gen-2015 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Modular Plans for Secure Service Composition 1-gen-2010 Costa, Gabriele; P., Degano; F., Martinelli
Modular plans for secure service composition 1-gen-2012 Costa, Gabriele; P., Degano; F., Martinelli