Position:	Primo Ricercatore
Email:	fabio [dot] martinelliiit [dot] cnr [dot] it
Phone:	+39 050 315 3425
Mobile:	+39 348 826 0772
Fax:	+39 050 315 2593
Building:	B
Entrance:	7-18
Floor:	1
Room:	B64a
URL:	http://www.iit.cnr.it/staff/fabio.martinelli

A-Z
A|B|C
D|E|F
G|H|I
K|L|M
N|P|R
S|T|V
Y
A-Z

Activities

Projects

Collaborations

Publications

Book

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

M. Colombo, A. Lazouski, P. Mori, F. 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

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

• 1
• 2
• next ›
• last »

ISI journal

Gianpiero Costantino, Fabio Martinelli, Paolo Santi
Investigating the Privacy vs. Forwarding Accuracy Tradeoff in Opportunistic Interest-Casting
2013, IEEE Transactions on Mobile Computing

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

Bistarelli S.; Martinelli F.; Santini F.
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints
2010, LECTURE NOTES IN COMPUTER SCIENCE

F.Martinelli and I. Matteucci
A framework for automatic generation of security controller
2010, STVR Journal

Levente Buttyan, Lazlo Dora, Fabio Martinelli, Marinella Petrocchi
Fast Certificate-based Authentication Scheme in Multi-operator maintained Wireless Mesh Networks
2010, Computer Communications

Costa G., Degano P., Martinelli F.
Modular Plans for Secure Service Composition
2010, LECTURE NOTES IN COMPUTER SCIENCE

Fabio Martinelli, Paolo Mori
On usage control for GRID systems
2010, Future Generation Computer System

• 1
• 2
• 3
• next ›
• last »

non-ISI journal

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)

Martinelli F., Matteucci I.
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

Costa G., Degano P., Martinelli F.
Secure Service Orchestration in Open Networks
2010, Journal of Systems Architecture (JSA)

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, P. Mori
A Model for Usage Control in GRID Systems
2007, Proceeding of the First International Workshop on Security, Trust and Privacy in Grid Systems (STP07). IEEE Computer Society (2007)

F. Martinelli, I. Matteucci
An Approach for the Specification, Verification and Synthesis of Secure Systems
2007, Electronic Notes Theoretical Computer Science

• 1
• 2
• next ›
• last »

Conference article

Martinelli, Matteucci, Petrocchi, Wiegand
A formal support for collaborative data sharing
2012, 2nd IFIP Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD 2012)

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-based Evaluation of Android Applications
2012, InTrust 2012: 4th International Conference on Trusted Systems

G. Costantino, F. Martinelli, P. Santi, D. Amoruso
An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast
2012, Int. Conference on Privacy, Security, and Trust (PST)

A. Lazouski, F. Martinelli, P. Mori
A prototype for Enforcing Usage Control Policies Based on XACML
2012, 9th International Conference on Trust, Privacy and Security in Digital Business (TrustBus12)

Peter Drábik, Fabio Martinelli, Charles Morisset
A Quantitative Approach for Inexact Enforcement of Security Policies
2012, Information Security Conference

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

Vincenzo Ciancia, J. Antonio Martin, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators
2012, Model Driven Security Workshop

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

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• next ›
• last »

Conference abstract

G. Costantino, F. Martinelli, P. Santi, D. Amoruso
An Implementation of Secure Two-Party Computation for Smartphones with Application to Privacy-Preserving Interest-Cast
2012, ACM Mobicom

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

Report

G. Dini, F. Martinelli, A. Saracino, D. Sgandurra
A Framework for Probabilistic Contract Compliance
2013

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
A Multi-Criteria-Based Evaluation of Android Applications
2012

Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
MADAM: a Multi-Level Anomaly Detector for Android Malware
2012

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, Charles Morisset
Quantitative Access Control with Partially Observable Markov Decision Process
2011

Martinelli F, Matteucci I
Action Refinement for Security Properties Enforcement
2010

Colombo M, Martinelli F, Matteucci I, Petrocchi M
Analysis of Data Sharing Agreements with Automated veri cation and WS implementation
2010

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

• 1
• 2
• 3
• next ›
• last »

Presentations/Demos