Fabio Martinelli - Böcker

Formal Aspects in Security and Trust

IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Formal Aspects in Security and Trust

IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Service-Oriented Computing

18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Collaborative Approaches for Cyber Security in Cyber-Physical Systems

Security and Trust Management

20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19–20, 2024, Proceedings

Engineering Secure Future Internet Services and Systems

Current Research

Foundations of Security Analysis and Design VII

FOSAD 2012 / 2013 Tutorial Lectures

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers

Data Privacy Management, and Security Assurance

10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers

Foundations of Security Analysis and Design VIII

FOSAD 2014/2015/2016 Tutorial Lectures

Data Privacy Management and Security Assurance

11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings

ICT Systems Security and Privacy Protection

32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings

ICT Systems Security and Privacy Protection

32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings

Foundations of Security Analysis and Design III

FOSAD 2004/2005 Tutorial Lectures

Formal Aspects in Security and Trust

Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Trust Management

4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings

Formal Aspects in Security and Trust

Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Methods of Contemporary Mathematical Statistical Physics

Formal Aspects in Security and Trust

5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers

Information Security

12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings

Public Key Infrastructures, Services and Applications

6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers

Computer Security -- ESORICS 2012

17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings

Trust Management VII

7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings