IIT Home Page CNR Home Page

Fabio Martinelli

Foto di Fabio Martinelli
n same page needs two click to run
Qualifica: Primo Ricercatore
Email: fabio.martinelli@iit.cnr.it
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, 10-2011

Pubblicazioni dal 01/01/2016


Contributo in atto di convegno
Mario Faiella, Antonio La Marra, Fabio Martinelli, Francesco Mercaldo, Andrea Saracino, Mina Sheikhalishahi
A Distributed Framework for Collaborative and Dynamic Analysis of Android Malware
2017, 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci and Francesco Santini
A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property
2016, Formal Aspects of Component Software - The 13th International Conference
Andrea Bondavalli, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Ilaria Matteucci, Nicola Nostro, Francesco Santini
A multi-criteria ranking of security countermeasures.
2016, SAC 2016
Luca Dariz, Massimiliano Ruggeri, Gianpiero Costantino, Fabio Martinelli
A Survey over Low-Level Security Issues in Heavy Duty Vehicles
2016, ESCAR 2016 - Automotive Cyber Security Conference
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Automated adaptation via quantitative partial model checking.
2016, SAC 2016
Mario Faiella, Fabio Martinelli, Paolo Mori, Andrea Saracino, Mina Sheikhalishahi
Collaborative Attribute Retrieval in Environment with Faulty Attribute Managers
2016, 11th International Conference on Availability, Reliability and Security
Andrea Saracino, Fabio Martinelli, Gianluca Dini, Gaetano Alboreto
Data-Sluice: Fine-grained traffic control for Android application
2016, Computers and Communication (ISCC), 2016 IEEE Symposium on
Fabio Martinelli, Ilaria Matteucci, Paolo Mori, Andrea Saracino
Enforcement of U-XACML History-Based Usage Control Policy
2016, STM 2016 (ESORICS workshop)
F. Martinelli, P. Mori, A. Saracino
Enhancing Android Permission through Usage Control: A BYOD Use-Case
2016, 31st ACM Symposium on Applied Computing (SAC 2016)
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci
Exploiting Vehicles' Reputation to Mitigate DoS Attack.
2016, AMARETTO@MODELSWARD
Contributo in rivista
Gianpiero Costantino, Rajib Maiti, Fabio Martinelli, Paolo Santi
Private mobility-cast for opportunistic networks
2017, Computer Networks
Enrico Carniani, Gianpiero Costantino, Fabio Martinelli, Paolo Mori, Francesco Marino
Enhancing Video Surveillance with Usage Control and Privacy-Preserving Solutions
2016, Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)
Andrea Saracino, Daniele Sgandurra, Fabio Martinelli, Gianluca Dini
Madam: Effective and efficient behavior-based android malware detection and prevention
2016, IEEE Transaction on Dependable and Secure Computing
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Risk analysis of Android applications: A user-centric solution
2016, Future Generation Computer Systems
A. Lazouski, F. Martinelli, P. Mori, A. Saracino
Stateful Data Usage Control for Android Mobile Devices
2016, International Journal of Information Security
E. Carniani, D. D'Arenzo, A. Lazouski, F. Martinelli, P. Mori
Usage Control on Cloud Systems
2016, Future Generation Computer Systems

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
Zakaria Maamara, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli
Business Reputation of Social Networks of Web Services
2015, International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
Mina Sheikhalishahi, Andrea Saracino, Mohamed Mejri, Nadia Tawbi, Fabio Martinelli
Digital Waste Sorting: A Goal-Based, Self-Learning Approach to Label Spam Email Campaigns
2015, 11th International Workshop on Security and Trust Management (STM2015)
Gianpiero Costantino, Rajib Ranjan Maiti, Fabio Martinelli, Paolo Santi
Location-based Routing for Opportunistic Networks
2015, International Conference on Mobile Ad hoc and Sensor Systems
Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin
Network Security Supported by Arguments
2015, 13th Annual Conference on Privacy, Security and Trust.
Francesco Restuccia, Andrea Saracino, Sajal Das, Fabio Martinelli
Preserving QoI in participatory sensing by tackling location-spoofing through mobile WiFi hotspots
2015, Percom Workshops 2015
Gianpiero Costantino, Fabio Martinelli
Privacy-Preserving Energy-Reading for Smart Meter
2015, International Conference On Smart homes and health Telematics (ICOST)
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
Semiring-based Specification Approaches for Quantitative Security
2015, QAPL 2015
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
There are Two Sides to Every Question - Controller Versus Attacker.
2015, Programming Languages with Applications to Biology and Security 2015
Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori
Architecture, Workflows, and Prototype for Stateful Data Usage Control in Cloud
2014, 5th International Workshop on Data Usage Management (IEESP-DUMA14), an IEEE CS Security & Privacy Workshop (SPW 2014)
Kristian Beckers, Maritta Heisel, Leanid Krautsevich, Fabio Martinelli, Rene Meis, Artsiom Yautsiukhin
Determining the Probability of Smart Grid Attacks by Combining Attack Tree and Attack Graph Analysis
2014, The Second Open EIT ICT Labs Workshop on Smart Grid 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