COSTA, GABRIELE
COSTA, GABRIELE
100025 - Dipartimento di ingegneria meccanica, energetica, gestionale e dei trasporti
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
Formal modeling and automatic enforcement of Bring Your Own Device policies
2014-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
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
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
Modular plans for secure service composition
2012-01-01 Costa, Gabriele; P., Degano; F., Martinelli
Project “Biodiversity MARE Tricase”: A Species Inventory of the Coastal Area of Southeastern Salento (Ionian Sea, Italy)
2022-01-01 Micaroni, V.; Strano, F.; Crocetta, F.; Di Franco, D.; Piraino, S.; Gravili, C.; Rindi, F.; Bertolino, M.; Costa, G.; Langeneck, J.; Bo, M.; Betti, F.; Froglia, C.; Giangrande, A.; Tiralongo, F.; Nicoletti, L.; Medagli, P.; Arzeni, S.; Boero, F.
Runtime monitoring for next generation Java ME platform
2010-01-01 Costa, Gabriele; F., Martinelli; P., Mori; C., Schaefer; T., Walter
Securing Java with Local Policies
2009-01-01 M., Bartoletti; Costa, Gabriele; P., Degano; F., Martinelli; R., Zunino
Securing the ``Bring Your Own Device'' Paradigm
2014-01-01 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Securing the “bring your own device” policy
2012-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Formal modeling and automatic enforcement of Bring Your Own Device policies | 1-gen-2014 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca | |
| 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 | |
| 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 | |
| Modular plans for secure service composition | 1-gen-2012 | Costa, Gabriele; P., Degano; F., Martinelli | |
| Project “Biodiversity MARE Tricase”: A Species Inventory of the Coastal Area of Southeastern Salento (Ionian Sea, Italy) | 1-gen-2022 | Micaroni, V.; Strano, F.; Crocetta, F.; Di Franco, D.; Piraino, S.; Gravili, C.; Rindi, F.; Bertolino, M.; Costa, G.; Langeneck, J.; Bo, M.; Betti, F.; Froglia, C.; Giangrande, A.; Tiralongo, F.; Nicoletti, L.; Medagli, P.; Arzeni, S.; Boero, F. | |
| Runtime monitoring for next generation Java ME platform | 1-gen-2010 | Costa, Gabriele; F., Martinelli; P., Mori; C., Schaefer; T., Walter | |
| Securing Java with Local Policies | 1-gen-2009 | M., Bartoletti; Costa, Gabriele; P., Degano; F., Martinelli; R., Zunino | |
| Securing the ``Bring Your Own Device'' Paradigm | 1-gen-2014 | Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio | |
| Securing the “bring your own device” policy | 1-gen-2012 | Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca |