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=2' 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=2' 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
Vasileios Gkioulos, Athanasios Rizos, Christina Michailidou, Fabio Martinelli, Paolo Mori
Enhancing Usage Control for Performance: A Proposal for Systems of Systems
2018, The 2018 International Conference on High Performance Computing & Simulation (HPCS 2018)
Giampaolo Bella,Francesco Marino,Gianpiero Costantino,Fabio Martinelli
Getmewhere: A Location-Based Privacy-Preserving Information Service
2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)
Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone
Identifying Insecure Features in Android Applications Using Model Checking
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)
Alessandro Bacci, Alberto Bartoli, Fabio Martinelli, Eric Medvet, Francesco Mercaldo, Corrado Aaron Visaggio
Impact of Code Obfuscation on Android Malware Detection based on Static and Dynamic Analysis
2018, 4rd International Conference on Information Systems Security and Privacy (ICISSP 2018)
Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Francesco Mercaldo
Improving Vehicle Safety Through a Fog Collaborative Infrastructure.
2018, 2018 IEEE International Conference on Smart Computing (SMARTCOMP)
Ganbayar Uuganbayar, Artsiom Yautsiukhin, Fabio Martinelli
Optimal security configuration for cyber insurance
2018, IFIP SEC 2018
Fabio Martinelli, Francesco Mercaldo, Christina Michailidou, Andrea Saracino
Phylogenetic Analysis for Ransomware Detection and Classification into Families
2018, Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, {ICETE} 2018 - Volume 2: SECRYPT
Andrea Saracino, Francesco Restuccia, Fabio Martinelli
Practical Location Validation in Participatory Sensing Through Mobile WiFi Hotspots
2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)
Gianpiero Costantino, Antonio La Marra, Fabio Martinelli,Paolo Mori, Andrea Saracino
Privacy Preserving Distributed Attribute Computation for Usage Control in the Internet of Things
2018, 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)
Gianpiero Costantino, Antonio La Marra, Fabio Martinelli, Paolo Mori, Andrea Saracino
Privacy Preserving Distributed Computation of Private Attributes for Collaborative Privacy Aware Usage Control Systems
2018, IEEE International Conference on Smart Computing (SMARTCOMP)
Contributo in rivista
Fabio Martinelli, Francesco Mercaldo, Albina Orlando, Vittoria Nardone, Antonella Santone, Arun Kumar Sangaiah
Human Behavior Characterization for Driving Style Recognition in Vehicle System
2017, Computers and Electrical Engineering Journal
Gianpiero Costantino, Rajib Maiti, Fabio Martinelli, Paolo Santi
Private mobility-cast for opportunistic networks
2017, Computer Networks
A. Lazouski, F. Martinelli, P. Mori, A. Saracino
Stateful Data Usage Control for Android Mobile Devices
2017, International Journal of Information Security
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
E. Carniani, D. D'Arenzo, A. Lazouski, F. Martinelli, P. Mori
Usage Control on Cloud Systems
2016, Future Generation Computer Systems
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
M. Colombo, F. Martinelli, P. Mori, M. Petrocchi, A. Vaccarelli
Fine Grained Access Control with Trust and Reputation Management for Globus
2007, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
H. Koshutanski, F. Martinelli, P. Mori, L. Borz, A. Vaccarelli
A Fine-Grained and X.509-Based Access Control System for Globus
2006, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
F. Martinelli, M. Petrocchi, A. Vaccarelli
Formal analysis of some secure procedures for certificate delivery
2006, SOFTWARE TESTING VERIFICATION & RELIABILITY (13441J0)
R. Gorrieri, F. Martinelli
Theoretical foundations of security analysis and design II. Preface
2005, THEORETICAL COMPUTER SCIENCE (03116J0)
F. Martinelli
Towards an Integrated Formal Analysis for Security and Trust
2005, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
R. Gorrieri, F. Martinelli
A simple framework for real-time cryptographic protocol analysis with compositional proof rules
2004, SCIENCE OF COMPUTER PROGRAMMING (04137J0)
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Automated Analysis of Timed Security: a Case Study on Web Privacy
2004, International Journal of Information Security
Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
SEAS: A Secure E-Voting Applet System
2004, Lecture Notes in Computer Science
Focardi R., Gorrieri R., Martinelli F.
A comparison of three authentication properties
2003, THEORETICAL COMPUTER SCIENCE (03116J0)
Gorrieri R., Martinelli F.
Process algebraic frameworks for the specification and ana lysis of cryptographic protocols
2003, LECTURE NOTES IN COMPUTER SCIENCE (00538S0)
Rivista non ISI
F. Martinelli, M. Petrocchi
On Relating and Integrating Two Trust Management Frameworks
2007, Electr. Notes Theor. Comput. Sci.
F.Martinelli, I. Matteucci
Through Modeling to Synthesis of Security Automata
2007, Electronic Notes Theoretical Computer Science
R.Gorrieri, F. Martinelli, M. Petrocchi
A formalization of credit and responsibility within the GNDC schema.
2006, Electronic Notes in Theoretical Computer Science
N.Busi, R.Gorrieri, F.Martinelli
Preface
2005, ENTCS
S.Bistarelli, I.Cervesato, G.Lenzini, F. Martinelli
Relating multiset rewriting and process algebras for security protocol analysis.
2005, Journal of Computer Security
F. Baiardi, A. Falleni, R. Granchi, F. Martinelli, M.Petrocchi, and A. Vaccarelli
SEAS, a secure e-voting protocol: Design and implementation
2005, Computers & Security
Focardi R., Gorrieri R., Martinelli F.
Classificatio od security properties - Part II : network security
2004, LNCS
Bistarelli S., Gorrieli R., Martinelli F.
General Properties and Termination Conditions for Soft Constraint Propagation
2003, Constraints: An International Journal
Articolo Convegno
Fabio Martinelli, Ilaria Matteucci
Automated Secure Composition of Cryptographic Services
2013, EUROPKI 2014
Vincenzo Ciancia, Fabio Martinelli, Jose Antonio Martin, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators
2013, SecSE 2013
Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
Classifying Android Malware Through Subgraph Mining
2013, SETOP 2013
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach
2013, TrustCom/ISPA/IUCC 2013
Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin
Formal Analysis of Security Metrics with Defensive Actions
2013, The 10th IEEE International Conference on Autonomic and Trusted Computing
Gianpiero Costantino, Fabio Martinelli, Daniele Sgandurra
How to Grant Less Permissions to Facebook Applications
2013, IAS 2013
Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin
Integration of Quantitative Methods for Risk Evaluation within Usage Control Policies
2013, International Conference on Computer Communications and Networks
Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
Introducing probabilities in contract-based approaches for mobile application security
2013, SETOP 2013
Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin
Multi-dimensional Secure Service Orchestration
2013, 2nd Workshop on Security in Business Process
Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
Probabilistic Contract Compliance for Mobile Applications
2013, ARES 2013
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
Colombo M., Martinelli F., Mori P., Vaccarelli A.
Extending the Globus architecture with Role-Based Trust Management
2006
Martinelli F., Mori P., Vaccarelli A.
Fine Grained Access Control for Computational Services
2006
Martinelli F., Matteucci I.
Model and Synthesize Security Automata
2006
Dianda, Fabio; Giuntini, Filippo; Martinelli, Fabio; Vaccarelli, Anna
Access control: AAAA where the first two As stand for Ability Authentication
2004
Dianda Fabio, Martinelli Fabio
Breve introduzione ai Web Services
2004
Andreini, Marco; Andronico, Patrizia; Del Soldato, Arianna; Lucchesi,Cristian; Martinelli, Maurizio
Eurid Public Web Site Content Management System Manual ver 1.1
2004
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