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=1' 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=1' 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
Fabio Martinelli, Christina Michailidou, Paolo Mori, Andrea Saracino
Managing QoS in Smart Buildings Through Software Defined Network and Usage Control
2019, International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops
Fabio Martinelli, Paolo Mori, Andrea Saracino, Francesco Di Cerbo
Obligation Management in Usage Control Systems
2019, 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
Antonio La Marra, Fabio Martinelli, Paolo Mori, Athanasios Rizos, Andrea Saracino
Using IFTTT to Express and Enforce UCON Obligations.
2019, International Conference on Information Security Practice and Experience, ISPEC 2019
Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci
A Social Engineering Attack to Leak Private Information from Android In-Vehicle Infotainment Systems
2018, ITA-SEC 2018
Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Ilaria Matteucci
CANDY: A Social Engineering Attack to Leak Information from Infotainment System
2018, 2018 IEEE 87th Vehicular Technology Conference (VTC Spring)
G. Costantino, F. Martinelli, I. Matteucci, A. Bertolino, A. Calabrò, E. Marchetti
CARS: Context Aware Reputation Systems to Evaluate Vehicles’ Behaviour
2018, Parallel, Distributed, and Network-Based Processing (PDP2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
Cluster Analysis for Driver Aggressiveness Identification
2018, 2st International Workshop on FORmal methods for Security Engineering (ForSE 2018), in conjunction with the 4rd International Conference on Information Systems Security and Privacy (ICISSP 2018)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone
Context-Awareness Mobile Devices for Traffic Incident Prevention
2018, 1st International Workshop on Context-Awareness for Multi-Device Pervasive and Mobile Computing, in conjunction with IEEE PerCom 2018
Ganbayar Uuganbayar, Artsiom Yautsiukhin, and Fabio Martinelli
Cyber Insurance and Security Interdependence: Friends or Foes?
2018, 2018 International Workshop on Cyber Insurance and Risk Controls (CIRC)
Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Albina Orlando and Artsiom Yautsiukhin
Cyber risk management: a new challenge for actuarial mathematics
2018, Mathematical and Statistical Methods for Actuarial Sciences and Finance (MAF 2018)
Contributo in rivista
L. Dariz, G. Costantino, M. Ruggeri, F. Martinelli,
A Joint Safety and Security Analysis of message protection for CAN bus protocol
2018, Advances in Science, Technology and Engineering Systems Journal
Francesco Mercaldo, Andrea Di Sorbo, Corrado Aaron Visaggio, Aniello Cimitile, Fabio Martinelli
An Exploratory Study on the Evolution of Android Malware Quality
2018, Journal of Software: Evolution and Process
Maria Francesca Carfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Albina Orlando, Antonella Santone, Gigliola Vaglini
A "Pay How You Drive" Car Insurance Approach through Cluster Analysis
2018, Soft Computing
Mario Luca Bernardi, Marta Cimitile, Fabio Martinelli, Francesco Mercaldo
Driver and Path Detection through Time-Series Classification
2018, Journal of Advanced Transportation
Mario Luca Bernardi, Marta Cimitile, Damiano Distante, Fabio Martinelli, Francesco Mercaldo
Dynamic Malware Detection and Phylogeny Analysis using Process Mining
2018, International Journal of Information Security
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah, Aniello Cimitile
Evaluating Model Checking for Cyber Threats Code Obfuscation Identification
2018, Journal of Parallel and Distributed Computing
Gerardo Canfora, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Aaron Visaggio
LEILA: formaL tool for idEntifying mobIle maLicious behAviour
2018, IEEE Transactions on Software Engineering
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Risk analysis of Android applications: A user-centric solution.
2018, Future Generation Computer Systems
Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Giuseppe Lami, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
A tour of secure software engineering solutions for connected vehicles.
2017, Software Quality Journal
Angelica Marotta, Fabio Martinelli, Stefano Nanni, Albina Orlando, Artsiom Yautsiukhin
Cyber-Insurance Survey
2017, Computer Science Review
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
vari
Information Security
2009, Information Security Conference
Fabio Martinelli, Marinella Petrocchi
Formal techniques for security analysis in wireless systems
2008
N. Dragoni, F. Martinelli, F. Massacci, P. Mori, C. Schaefer, T. Walter and E. Vetillar
Security-by-Contract (SxC) for Software and Services of Mobile Systems
2008
P. Massonet, A. Arenas, F. Martinelli, P. Mori and B. Crispo
Usage Control for Trust and Security in Next Generation Grids
2008
T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, S. A. Schneider
Formal Aspects in Security and Trust
2006
K. Stølen, W. H. Winsborough, F. Martinelli, F. Massacci
Trust Management, 4th International Conference, iTrust 2006.
2006
Theodosis Dimitrakos and Fabio Martinelli
Formal Aspects in Security and Trust
2005
Rivista ISI
Fabio Martinelli, Paolo Mori
On usage control for GRID systems
2010, Future Generation Computer System
Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter
Runtime monitoring for next generation Java ME platform
2010, Computers and Security
Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
Enhancing grid security by fine-grained behavioral control and negotiation-based authorization
2009, International Journal of Information Security
Pierpaolo Degano, Joshua Guttman, Fabio Martinelli
Preface to Formal Aspects in Security and Trust (FAST)
2009, Lecture Notes in Computer Science
P. Greci, F. Martinelli, I. Matteucci
A Framework for Contract-Policy Matching based on Symbolic Simulations for securing Mobile Device Application
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
B. Aziz, A. Arenas, F. Martinelli, I. Matteucci P. Mori
Controlling Usage of Business Processes through Fine-Grained Security Policies
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
A. Castrucci, F. Martinelli, P. Mori, F. Roperti
Enhancing Java ME Security Support with Resource Usage Monitoring
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
F. Martinelli, P. Mori
Enhancing Java Security with History Based Access Control
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
F. Martinelli, I. Matteucci
Synthesis of Web Services Orchestrators in a Timed Setting
2008, LECTURE NOTES IN COMPUTER SCIENCE (00538S0), Web Services and Formal Methods 2007
M. Colombo, F. Martinelli, P. Mori, A. Vaccarelli
Extending the Globus architecture with Role-Based Trust Management
2007, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
Rivista non ISI
Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli
Enforcing UCON Policies on the Enterprise Service Bus
2010, Lecture notes in computer science
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
Modular Plans for Secure Service Composition
2010, LECTURE NOTES IN COMPUTER SCIENCE
Javier Lopez-Muñoz, Miguel Soriano-Ibañez,Fabio Martinelli
Monograph: Identity and Privacy Management
2010, Upgrade
Costa G., Degano P., Martinelli F.
Secure Service Orchestration in Open Networks
2010, Journal of Systems Architecture (JSA)
Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin
Usage Control, Risk and Trust
2010, Lecture notes in computer science
Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori
Controlling the Usage of Grid Services.
2009, International Journal of Computational Science
Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
Towards Information Flow Properties for Distributed Systems
2009, Electr. Notes Theor. Comput. Sci.
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks
2008, Journal of Automated Reasoning
F. Martinelli, I. Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems
2007, Electronic Notes Theoretical Computer Science
F. Martinelli, M. Petrocchi
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
2007, Electr. Notes Theor. Comput. Sci.
Articolo Convegno
Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
Enforcing Mobile Application Security Through Probabilistic Contracts
2014, ESSoS Doctoral Symposium 2014
Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini
Improving Role-based Access to Android Applications with JCHR
2014, IWSMA 2014 - The 3rd International Workshop on Security of Mobile Applications
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, and Andrea Bondavalli
On Security Countermeasures Ranking through Threat Analysis.
2014, Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR.
Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Privacy-Preserving Mobility-Casting in Opportunistic Networks
2014, PST 2014
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
Reputation-based Composition of Social Web Services
2014, AINA
A. Lazouski, F. Martinelli, P. Mori, A. Saracino
Stateful Usage Control for Android Mobile Devices
2014, 10th International Workshop on Security and Trust Management (STM 2014)
Gaetano Francesco Anastasi, Emanuele Carlini, Massimo Coppola, Patrizio Dazzi, Aliaksandr Lazouski, Fabio Martinelli, Gaetano Mancini, Paolo Mori
Usage Control in Cloud Federations
2014, International Conference in Cloud Engineering (IC2E 2014)
Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli
Using Incentives to Analyze Social Web Services’ Behaviors
2014, The 7th International Workshop on Personalization and Context-Awareness in Cloud and Service Computing (PCS 2014)
Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini
A collaborative framework for generating probabilistic contracts
2013, CTS 2013
Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra
Are Photos On Social Networks Really Private?
2013, International Conference on Collaboration Technologies and Systems (CTS)
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
Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi
A Client-Aware Reputation System for e-Services
2011
Mariantonietta La Polla, Fabio Martinelli, Daniele Sgandurra
A Survey on Security for Mobile Devices
2011
Fabio Martinelli, Ilaria Matteucci
A framework for automatic security controller generation
2009
A. Lazouski, F. Martinelli, P. Mori
A Survey of Usage Control in Computer Security
2008
F. Martinelli, P. Mori
On Usage Control for GRID Systems
2008
Attività Editoriale
Michela Alunno Corbucci, Stefania Fabbri, Cristina Leone, Fabio Martinelli, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 1
2011
Michela Alunno Corbucci, Stefania Fabbri, Laura Caciagli, Cristina Leone, Fabio Martinelli, Daniele Sgandurra, Anna Vaccarelli, Francesco Gianetti
Newsletter Serit n. 2
2011