Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/fabio.martinelli?page=4' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/fabio.martinelli?page=4' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Fabio Martinelli | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Fabio Martinelli

Foto di Fabio Martinelli
n same page needs two click to run
Qualifica: Dirigente di Ricerca
Email: ti.rnc.tii@illenitram.oibaf
Telefono: +39 050 315 3425
Cellulare: +39 348 826 0772
Fax: +39 050 315 2593
Edificio: B
Ingresso: 7-18
Piano: 1
Stanza: B64a
URL: http://www.iit.cnr.it/staff/fabio.martinelli

Martinelli Fabio, 06-2020

Pubblicazioni dal 01/01/2016


Contributo in atto di convegno
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
A Quantitative Partial Model-Checking Function and Its Optimisation
2017, LPAR-21
Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
A Time Series Classification Approach to Game Bot Detection
2017, 7th ACM International Conference on Web Intelligence, Mining and Semantics (WIMS)
Fabio Martinelli, Francesco Mercaldo, Andrea Saracino
BRIDEMAID: An Hybrid Tool for Accurate Detection of Android Malware
2017, ACM Asia Conference on Computer and Communications Security (ASIACCS)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Car Hacking Identification through Fuzzy Logic Algorithms
2017, IEEE International Conference on Fuzzy Systems
Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
Concurrent History-based Usage Control Policies
2017, MODELSWARD 2017
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi
Efficient Detection of Conflicts in Data Sharing Agreements
2017, Information Systems Security and Privacy - Third International Conference, February 19-21, 2017, Revised Selected Papers
Alberto Ferrante, Miroslaw Malek, Fabio Martinelli, Francesco Mercaldo, Jelena Milosevic
Extinguishing Ransomware - A Hybrid Approach to Android Ransomware Detection
2017, International Symposium on Foundations and Practice of Security (FPS 2017)
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
Formal Methods Meet Mobile Code Obfuscation
2017, The 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2016)
Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
Game Bot Detection in Online Role Player Game through Behavioural Features
2017, 12th International Conference on Software Technologies (ICSOFT)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone
How Discover a Malware using Model Checking
2017, ACM Asia Conference on Computer and Communications Security (ASIACCS)
Contributo in rivista
R. Casolare; F. Martinelli; F. Mercaldo; A. Santone
Android Collusion: Detecting Malicious Applications Inter-Communication through SharedPreferences
2020, Information
A. Aldini; A. La Marra; F. Martinelli; A. Saracino
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices
2020, Soft Computing
G. Iadarola, F. Martinelli, F. Mercaldo, A. Santone
Call Graph and Model Checking for Fine-Grained Android Malicious Behaviour Detection
2020, Applied Sciences
M. Sheikhalishahi, A. Saracino, F. Martinelli, A. La Marra, M. Mejri, Nadia Tawbi
Digital Waste Disposal: an automated framework for analysis of spam emails.
2020, International Journal of Information Security
Martinelli F.; Mercaldo F.; Nardone V.; Santone A.; Vaglini G.
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation
2020, Simulation Modeling Practice and Theory
Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli, Fabio Massacci
Optimisation of cyber insurance coverage with selection of cost effective security controls.
2020, Computers & Security
Barbara Martini, Paolo Mori, Francesco Marino, Andrea Saracino, Alessio Lunardelli,Antonio La Marra, Fabio Martinelli, Piero Castoldi
Pushing Forward Security in Network Slicing by Leveraging Continuous Usage Control
2020, IEEE Communication Magazine
Andrea De Lorenzo, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Antonella Santone
Visualizing the outcome of dynamic analysis of Android malware with VizMal
2020, Journal of Information Security and Applications
Fabio Martinelli, Oleksii Osliak, Andrea Saracino
A scheme for the sticky policy representation supporting secure cyber-threat intelligence analysis and sharing
2019, Information and Computer Security
Gianpiero Costantino, Rajib Maiti, Fabio Martinelli, Paolo Santi
LoSeRO: A Locality Sensitive Routing Protocol in Opportunistic Networks with Contact Profiles
2019, IEEE Transactions on Mobile Computing
Contributo in volume
J. Clarke; F. Martinelli; A. Yautsiukhin; C. Caimi; A. Terzi; S. Nonova; C. E. Sailer; J. Serrano; Y. Ursa
Cybersecurity and Privacy
2020
Rapporto
G. Lacava, A. Marotta, F. Martinelli, A. Saracino, A. La Marra, E. Gil-Uriarte, V. Mayoral Vilches
Current Research Issues on Cyber security in Robotics
2020
Documentazione tecnica
Libro
AA. VV.
Libro Bianco:Il Futuro della Cybersecurity in Italia: Ambiti Progettuali Strategici Progetti e Azioni per difendere al meglio il Paese dagli attacchi informatici
2018, Libro Bianco:Il Futuro della Cybersecurity in Italia: Ambiti Progettuali Strategici Progetti e Azioni per difendere al meglio il Paese dagli attacchi informatici

Pubblicazioni al 31/12/2015


Libro
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
Application Security for Mobile Devices
2014
Jose A. Martìn, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, and Mathieu Turuani
On the Synthesis of Secure Services Composition
2014
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Privacy-Preserving Opportunistic Networking
2014
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
Application Security for Mobile Devices
2012
Gabriele Costa, Valerie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi
Security and Trust
2011
B. Martini, P. Mori, F. Martinelli, A. Lazouski, P. Castoldi
Time-continuous Authorization of Network Resources based on Usage Control
2011
Maurizio Colombo, Aliaksandr Lazouski, Paolo Mori, Fabio Martinelli
Access and Usage control in GRID systems
2010
A. Arenas, B. Aziz, F. Martinelli, P. Mori, M. Petrocchi, M. Wilson
Trust management for grid systems
2010
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Formal Aspects in Security and Trust
2009
Rivista ISI
Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
Detection of repackaged mobile applications through a collaborative approach
2014, Concurrency and Computation: Practice and Experience
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting
2014, IEEE Transactions on Mobile Computing
Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori
Testing of PolPA Authorization Systems
2014, Software Quality Journal
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting
2013, IEEE transactions on mobile computing IEEE Computer Society
Georgios Karopulos, Fabio Martinelli, Paolo Mori
Usage control in SIP-based multimedia delivery
2013, Computers & Security
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
2012, Computers & Mathematics with Applications
Mariantonietta Noemi La Polla, Fabio Martinelli, Daniele Sgandurra
A Survey on Security for Mobile Devices
2012, IEEE Communications Surveys and Tutorials
J.A. Martín, F. Martinelli, E. Pimentel
Synthesis of secure adaptors
2012, Journal of Logic and Algebraic Programming
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Secure service orchestration in open networks
2011, Journal of Systems Architecture
Levente Buttyan, Lazlo Dora, Fabio Martinelli, Marinella Petrocchi
Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks
2010, Computer Communications
Rivista non ISI
Noura Faci, Marinella Petrocchi, Gianpiero Costantino, Fabio Martinelli, Zakaria Maamar
A quality model for social networks populated with web services.
2015, Springer Journal of Service Oriented Computing and Applications
V. Ciancia, J.A. Martin, F. Martinelli, I. Matteucci, M. Petrocchi, E. Pimentel
Automated synthesis and ranking of secure BPMN orchestrators
2014, International Journal of Secure Software Engineering JISSE
Gabriele Costa, Roberto Mandati, Fabio Martinelli, Ilaria Matteucci, Artsiom Yautsiukhin
Contract-based Approaches for Securing Web Services
2013, IGI Global
Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin
Cost-Effective Enforcement of Access and Usage Control Policies under Uncertainties
2013, IEEE Systems Journal
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Privacy-Preserving Interest-Cast for Android smartphones
2013, ERCIM News
Maurizio Colombo, Fabio Martinelli, Paolo Mori, Barbara Martini, Molka Gharbaoui, Piero Castoldi
Extending Resource Access in Multi-Provider Networks using Trust Management
2011, International Journal of Computer Networks & Communications (IJCNC), Academy & Industry Research Collaboration Center
Gabriele Costa, Aliaksandr Lazouski, Fabio Martinelli, Ilaria Matteucci, Nicola Dragoni,Valerie Issarny, Rachid Saadi, Fabio Massacci
Security-by-Contract-with-Trust for Mobile Devices
2011, Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JOWUA)
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
2010, LECTURE NOTES IN COMPUTER SCIENCE
Fabio Martinelli, Ilaria Matteucci
A framework for automatic generation of security controller
2010, Software Testing, Verification & Reliability (STVR) Journal
A. Lazouski, F. Martinelli, P. Mori
A Survey of Usage Control in Computer Security
2010, Computer Science Review - Elsevier
Articolo Convegno
Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
A study on rating services based on users' categories
2012, ICIW12: Seventh International Conference on Internet and Web Applications and Services
Giorgos Karopoulos, Paolo Mori, Fabio Martinelli
Continuous Authorizations in SIP with Usage Control
2012, 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP2012)
Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
MADAM: A Multi-Level Anomaly Detector for Android Malware
2012, MMM-ACNS 12, International Conference on Mathematical Methods, Models and Architectures for Computer Network Security
Artsiom Yautsiukhin, Gabriele Costa, Fabio Martinelli
Metric-Aware Secure Service Orchestration
2012, 5th Interaction and Concurrency Experience
Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
Priorities-based Review Computation
2012, AAAI Spring Symposia
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Privacy-Preserving Interest-Casting in Opportunistic Networks
2012, Wireless Communications and Networking Conference (WCNC 2012)
Fabio Martinelli, Charles Morisset
Quantitative Access Control with Partially-Observable Markov Decision Processes
2012, Second ACM Conference on Data and Application Security and Privacy
A. Bertolino, S. Daoudagh, F. Lonetti, E. Marchetti, F.Martinelli, P. Mori
Testing of PolPA Authorization Systems
2012, 7th International Workshop on Automation of Software Test (AST2012)
M. Coppola, P. Dazzi, A. Lazouski, F. Martinelli, P. Mori, J. Jensen, I. Johnson, P. Kershaw
The CONTRAIL Approach to Cloud Federation
2012, International Symposium on Grids and Clouds (ISGC 2012)
Leanid Krautsevich, Fabio Martinelli, and Artsiom Yautsiukhin
Towards Modelling Adaptive Attacker's Behaviour
2012, 5th International Symposium on The Foundations & Practice of Security
Abstract Convegno
Baiardi F., Falleni A, Granchi R, Martinelli F., Petrocchi M., Vaccarelli A.
SEAS, an improvement of the Sensus protocol: design and implementation
2003, E-COMM-LINE 2003
Rapporto
Angelica Marotta, Fabio Martinelli, Stefano Nanni,Artsiom Yautsiukhin
A Survey on Cyber-Insurance
2015
Fabio Del Bene, Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Risk Analysis of Android Applications: A Multi-Criteria and Usable Approach
2015
Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Antonia Bertolino, Antonello Calabro', Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti
Secure Software Engineering for Connected Vehicles: A Research Agenda
2015
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Semiring-base Specification Approaches for Quantitative Security
2015
Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
A Framework for Probabilistic Contract Compliance
2013
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Privacy-Preserving Mobility-Casting in Opportunistic Networks
2013
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
Quantitative evaluation of enforcement strategies
2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-Based Evaluation of Android Applications
2012
Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators
2012
Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
MADAM: a Multi-Level Anomaly Detector for Android Malware
2012
Attività Editoriale
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 10
2014
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 9
2014
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 6
2013
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 7
2013
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 8
2013
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit - numero speciale "Serit Award" seconda edizione
2013
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 3
2012
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 4
2012
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 5
2012
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Luca Papi, Gian Mario Scanu, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit - numero speciale "Serit Award"
2012