Fabio Martinelli, Ph.D.
Senior researcher

A new Survey on Mobile Devices Security can be found here

Project Coordinator of the EU Project NESSoS Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Responsible of the CNR Interdipartimental Security Project

Co-Chair of the Italian Technology Platform in Security SERIT (Security Research In Italy)

Founder and chairman (2005-2009) of the ERCIM Working group in Security and Trust Management (STM)

Representative of the new Conference on Principles of Security and Trust (POST) in the ETAPS SC.

Join security@fosad.org, the mailing list (near 800 addresses) for the scientific community interested in computer security research topics. Such a mailing list should serve as a forum for discussion and as a mean of quick dissemination of announcements of conferences and related events in the area of security.

Research Interests:

• Security
• Formal analysis of network and system security
• Security protocols
• Secure Service Composition
• Information flow analysis
• PKI and Trust management
• Access and Usage Control
• Run-time policy enforcement
• Distributed systems
• Cloud, web and GRID services
• Mobile devices
• Formal analysis of concurrent/distributed/mobile systems
• Temporal logic: Model and module checking
• Program synthesis

Research Projects:

(current)

• EU FP7-NoE NESSoS Network of Excellence on Engineering Secure Future Internet Software Services and Systems
• EU FP7-IP ANIKETOS Secure and Trustworthy Composite Services
• EU FP7-IP CONTRAIL Open Computing Infrastructures for Elastic Services
• EU FP7-ARTEMIS SESAMO Security and Safety Modelling
• EIT ICT Labs: Security and privacy for mobile devices
• MIUR Security Horizons
• Tuscany Region (Crowd sourcing techniques for emergency management)

(past)

• EU-FET-IP Emergent Connectors for Eternal Software Intensive Networked Systems (CONNECT)
• EU-ICT-STREP Context-aware Data-Centric Information Sharing (Consequence).
• MIUR ``BISCA" Biologically-inspired systems and calculi and their applications
• Tuscany Regional Government (VISITO) "Visual Sipport to cultural heritage InTerctive access in Tuscany"
• EU-IST-STREP Security and Trust for GRID systems (GRIDTrust).
• EU-FET-IP BIOlogically-inspired autonomic NETworks and Services (BioNets).
• EU-FET-IP on Software Engineering for Service-Oriented Overlay Computers (SENSORIA).
• EU-IST-NoE Embedded Systems (ARTIST2).
• EU-IST-STREP Secure Software and Services for Mobile Systems (S3MS).
• NATO Advanced Training Course (ATC Dushanbe).
• CNR `` Trusted e-services for dynamic and mobile coalitions''
• MIUR ``SYBILLA" formal methods for the study of biological systems
• CREATE-NET ``Quality of Protection (QoP)''
• MURST ``Tools, techniques and methodologies for the information society''
• CNR ``Tecniche e Strumenti Software per l'analisi della sicurezza delle comunicazioni in applicazioni telematiche di interesse economico e sociale''
• CSP ``Metodi formali e strumenti per l'analisi automatica di protocolli di sicurezza (SeTAPS II)''
• MIUR ``Constraints for Verification (COVER)''
• MURST ``Formal Methods for Security and Time(MEFISTO)''
• EU ``Roadmaps for European research on Smartcard Technologies`` (RESET)
• Microsoft Research Europe (Cambridge) ``Security`` (by the way of Prof. R. Gorrieri)
• ESPRIT BRA ``Logical and Operational Methods in the Analysis of Programs and Systems''
• CNR Progetto Strategico ``Modelli e Metodi per la Matematica e l'Ingegneria'',
• MURST ``Tecniche Formali per la Specifica, l'Analisi, la Verifica e la Trasformazione dei Sistemi Software''.

Events

(current)

• 13th FOSAD Summer PhD School 2013
• International orkshop on Data Usage Management on the Web (DUMW2013)
• 10th European PKI Workshop: Research and Applications (EUROPKI 13)
• IFIP International Conference on Trust Management (IFIP TM13)
• Third ACM Conference on Data and Application Security and Privacy (CODASPY 2013)
• 10th International Conference on Trust, Privacy & Security in Digital Business (TRUSTBUS 2013)
• 11th International Conference on Privacy, Security and Trust(PST 13)
• Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS-DC 2013)
• 6th International Conference in Networks and System Security (NSS2013)
• Security in Networked and Distributed Systems - PDP 2013 Track
• 8th International Conference on Critical Information Infrastructures Security (CRITIS 2013)

(past)

My Bibliography

• A regularly updated list containing most of my publication is available at the following here (thanks to DBLP).
• An old list is available here.

Software Tools:

• PaMoChSA (Partial Model Checking Security Analyzer): A software tool for Computer aided verification of security protocols based on the idea of analyzing security protocols as open systems.
• SEAS (Secure E-voting Applet System): A software tool for E-voting/polling procedures through the web. This is based on an improvement of the SENSUS protocol.
• Secure applications for Smartphones A set of applications for smartphones based on cryptography and digital signature.
• iCareMobile An application for mobile phones security and parental control.

Teaching:

• MASTER in Internet Technologies (2004): Information Security
• Linguaggi e Calcolabilita'. A.A. 2004/2005. Corso di Laurea Specialistica in Tecnologie Informatiche.
• MASTER in Internet Technologies (2005): Information Security
• MASTER in Internet Technologies (2007): Information Security
• MASTER in Internet Technologies (2009): Information Security
• MASTER in Internet Technologies (2011): Information Security