COSTA, GABRIELE
COSTA, GABRIELE
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A NERD DOGMA: Introducing CTF to Non-Expert Audience
2020-01-01 Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea
A survey on multi-factor authentication for online banking in the wild
2020-01-01 Sinigaglia, F.; Carbone, R.; Costa, G.; Zannone, N.
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
Building next generation Cyber Ranges with CRACK
2020-01-01 Russo, E.; Costa, G.; Armando, A.
Detection of images with adult content for parental control on mobile devices
2009-01-01 Amato, G.; Bolettieri, P.; Costa, G.; la Torre, F.; Martinelli, F.
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, G.; Matteucci, I.
Enabling BYOD through secure meta-market
2014-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio; Verderame, Luca
Enhancing malware classification with symbolic features
2021-01-01 Siwach, C.; Costa, G.; de Nicola, R.
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
2010-01-01 Costa, G.; Dragoni, N.; Lazouski, A.; Martinelli, F.; Massacci, F.; Matteucci, I.
Extending Security-by-Contract with Quantitative Trust on Mobile Devices
2010-01-01 Costa, G; Dragoni, N; Lazouski, A; Martinelli, F; Massacci, F; Matteucci, I
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, A.; Costa, G.; Merlo, A.; Verderame, L.
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, Gabriele; Merlo, Alessio
Formally verifying security protocols built on watermarking and jamming
2023-01-01 Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
Gate automata-driven run-time enforcement
2012-01-01 Costa, G.; Matteucci, I.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A NERD DOGMA: Introducing CTF to Non-Expert Audience | 1-gen-2020 | Costa, Gabriele; Lualdi, Martina; Ribaudo, Marina; Valenza, Andrea | |
| A survey on multi-factor authentication for online banking in the wild | 1-gen-2020 | Sinigaglia, F.; Carbone, R.; Costa, G.; Zannone, N. | |
| 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 | |
| Formally verifying security protocols built on watermarking and jamming | 1-gen-2023 | Costa, Gabriele; Degano, Pierpaolo; Galletta, Letterio; Soderi, Simone | |
| 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. |