COSTA, GABRIELE
COSTA, GABRIELE
100025 - Dipartimento di ingegneria meccanica, energetica, gestionale e dei trasporti
Android Permissions Unleashed
2015-01-01 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Android vs. SEAndroid: An empirical assessment
2016-01-01 Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro
Automatic security verification of mobile app configurations
2018-01-01 Costa, Gabriele; Merlo, Alessio; Verderame, Luca; Armando, Alessandro
Bring your own device, securely
2013-01-01 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Detection of images with adult content for parental control on mobile devices
2009-01-01 G., Amato; P., Bolettieri; Costa, Gabriele; F., la Torre; F., Martinelli
Developing a NATO BYOD security policy
2016-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca; Wrona, Konrad
Elective temporal logic
2011-01-01 Costa, Gabriele; I., Matteucci
Enabling BYOD through secure meta-market
2014-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
2010-01-01 Costa, Gabriele; N., Dragoni; A., Lazouski; F., Martinelli; F., Massacci; I., Matteucci
FLEX: A flexible code authentication framework for delegating mobile app customization
2016-01-01 Costa, Gabriele; Gasti, Paolo; Merlo, Alessio; Yu, Shunt Hsi
Formal modeling and automatic enforcement of Bring Your Own Device policies
2014-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
Gate automata-driven run-time enforcement
2012-01-01 Costa, Gabriele; I., Matteucci
Jalapa: Securing Java with Local Policies
2009-01-01 M., Bartoletti; Costa, Gabriele; R., Zunino
Lazy Security Controllers
2013-01-01 G., Caravagna; Costa, Gabriele; G., Pardini
Market-based security for mobile devices
2013-01-01 Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Mobile App Security Analysis with the MAVeriC Static Analysis Module
2014-01-01 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
2015-01-01 Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccardo; Valenza, Andrea
Modular plans for secure service composition
2012-01-01 Costa, Gabriele; P., Degano; F., Martinelli
Modular Plans for Secure Service Composition
2010-01-01 Costa, Gabriele; P., Degano; F., Martinelli
| 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-2012 | Costa, Gabriele; P., Degano; F., Martinelli | |
| Modular Plans for Secure Service Composition | 1-gen-2010 | Costa, Gabriele; P., Degano; F., Martinelli |