Vashek Matyáš – författare

This book constitutes the thoroughly refereed post-workshop proceedings of the 26th International Workshop on Security Protocols, held in Cambridge, UK, in March 2018.

The volume consists of 17 thoroughly revised invited papers presented together with the respective transcripts of discussions. The theme of this year''s workshop was fail-safe and fail-deadly concepts in protocol design. The topics covered included failures and attacks; novel protocols; threat models and incentives; cryptomoney; and the interplay of cryptography and dissent.

The volume LNCS 12287 constitutes the proceedings of the 27th International Workshop on Security Protocols, held in Cambridge, UK, in April 2019.

The volume consists of 16 thoroughly revised invited papers presented together with the respective transcripts of discussions. The theme of this year''s workshop was “Security Protocols for Humans" The topics covered included Designing for Humans and Understanding Humans, Human Limitations in Security, Secure sharing and collaboration and much more.

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Security Protocols, held in Cambridge, UK, during March 27–28, 2023.

Thirteen papers out of 23 submissions were selected for publication in this book, presented together with the respective transcripts of discussions. The theme of this year''s workshop was “Humans in security protocols — are we learning from mistakes?”

The topics covered are securing the human endpoint and proving humans correct.

This book constitutes the thoroughly refereed post-workshop proceedings of the 22nd International Workshop on Security Protocols, held in Cambridge, UK, in March 2014. After an introduction the volume presents 18 revised papers each followed by a revised transcript of the presentation and ensuing discussion at the event. The theme of this year''s workshop is "Collaborating with the Enemy".

This book constitutes the thoroughly refereed post-workshop proceedings of the 23rd International Workshop on Security Protocols, held in Cambridge, UK, in March/April 2015. After an introduction the volume presents 18 revised papers each followed by a revised transcript of the presentation and ensuing discussion at the event. The theme of this year''s workshop is "Information Security in Fiction and in Fact".

The 13 thoroughly revised papers presented together with the respective transcripts of discussions have been carefully reviewed.  The theme of the workshop was Evolving Security -  considering that security protocols evolve with their changing requirements, their changing mechanisms and attackers'' changing agendas and capabilities.

This book constitutes the thoroughly refereed post-workshop proceedings of the 25th International Workshop on Security Protocols, held in Cambridge, UK, in March 2017.

The volume consists of 16 thoroughly revised invited papers presented together with the respective transcripts of discussions.  The theme of this year''s workshop was multi-objective security and the topics covered included security and privacy, formal methods and theory of security, systems security, network security, software and application security, human and societal aspects of security and privacy, security protocols, web protocol security, and mobile and wireless security.