COSTA, GABRIELE

COSTA, GABRIELE  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 49 (tempo di esecuzione: 0.008 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
Building next generation Cyber Ranges with CRACK 1-gen-2020 Russo, E.; Costa, G.; Armando, A.
Detection of images with adult content for parental control on mobile devices 1-gen-2009 Amato, G.; Bolettieri, P.; Costa, G.; la Torre, F.; Martinelli, F.
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, G.; Matteucci, I.
Enabling BYOD through secure meta-market 1-gen-2014 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Enhancing malware classification with symbolic features 1-gen-2021 Siwach, C.; Costa, G.; de Nicola, R.
Extending Security-by-Contract with Quantitative Trust on Mobile Devices 1-gen-2010 Costa, G; Dragoni, N; Lazouski, A; Martinelli, F; Massacci, F; Matteucci, I
Extending Security-by-Contract with Quantitative Trust on Mobile Devices 1-gen-2010 Costa, G.; Dragoni, N.; Lazouski, A.; Martinelli, F.; Massacci, F.; Matteucci, I.
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, A.; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Reasoning about the Android Security Framework 1-gen-2013 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
From Natural Projection to Partial Model Checking and Back 1-gen-2018 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
Gate automata-driven run-time enforcement 1-gen-2012 Costa, G.; Matteucci, I.
Jalapa: Securing Java with Local Policies 1-gen-2009 Bartoletti, M; Costa, G; Zunino, R
Jalapa: Securing Java with Local Policies 1-gen-2009 Bartoletti, M.; Costa, G.; Zunino, R.
Lazy Security Controllers 1-gen-2013 Caravagna, G.; Costa, G.; Pardini, G.