Fabio Martinelli

Formal Aspects in Security and Trust

2010

Probability on Discrete Structures

2013

Data Privacy Management, and Security Assurance

2016

Trust management

2006

Public Key Infrastructures, Services and Applications

2010

ICT Systems Security and Privacy Protection

2018

Foundations of Security Analysis and Design VII

2014

Engineering Secure Future Internet Services and Systems

2014

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

2024

Methods of Contemporary Mathematical Statistical Physics (Lecture Notes in Mathematics Book 1970)

2009

Foundations of Security Analysis and Design VIII

2016

Computer Security -- ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings (Lecture Notes in Computer Science)

2012

Trust Management VII

2013

Formal Aspects in Security and Trust

2009