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 Dimitrakos Theo Innbundet / 2005 / Engelsk
Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19–20, 2024, Proceedings Martinelli Fabio Heftet / 2025 / Engelsk
Public Key Infrastructures, Services and Applications 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers Martinelli Fabio Heftet / 2010 / Engelsk
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 Dimitrakos Theo Heftet / 2010 / Engelsk
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures Aldini Alessandro Heftet / 2005 / Engelsk
Collaborative Approaches for Cyber Security in Cyber-Physical Systems Dimitrakos Theo Innbundet / 2023 / Engelsk
Collaborative Approaches for Cyber Security in Cyber-Physical Systems Dimitrakos Theo Heftet / 2024 / Engelsk
Computer Security -- ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012, Proceedings Foresti Sara Heftet / 2012 / Engelsk
Foundations of Security Analysis and Design VII FOSAD 2012 / 2013 Tutorial Lectures Aldini Alessandro Heftet / 2014 / Engelsk
Foundations of Security Analysis and Design VIII FOSAD 2014/2015/2016 Tutorial Lectures Aldini Alessandro Heftet / 2016 / Engelsk
Trust Management 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings Stølen, Ketil Heftet / 2006 / Engelsk
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers Degano Pierpaolo Heftet / 2009 / Engelsk
ICT Systems Security and Privacy Protection 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings De Capitani di Vimercati, Sabrina Heftet / 2018 / Engelsk
ICT Systems Security and Privacy Protection 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings De Capitani di Vimercati, Sabrina Innbundet / 2017 / Engelsk
Engineering Secure Future Internet Services and Systems Current Research Heisel Maritta Heftet / 2014 / Engelsk
Trust Management VII 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings Fernandez-Gago Carmen Heftet / 2015 / Engelsk
Formal Aspects in Security and Trust Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Dimitrakos Theo Heftet / 2006 / Engelsk
Trust Management VII 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013, Proceedings Fernandez-Gago Carmen Innbundet / 2013 / Engelsk
Information Security 12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings Samarati Pierangela Heftet / 2009 / Engelsk
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 Livraga Giovanni Heftet / 2016 / Engelsk
Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers Dimitrakos Theo Heftet / 2007 / Engelsk
