Security Protocols XXV 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers

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.

Multiple Objectives of Lawful-Surveillance Protocols.- Getting Security Objectives Wrong: A Cautionary Tale of an Industrial Control System.- Assuring the Safety of Asymmetric Social Protocols.- Simulating Perceptions of Security.- Self-Attestation of Things.- Making Decryption Accountable.- Extending Full Disk Encryption for the Future.- Key Exchange with the Help of a Public Ledger.- Reconciling Multiple Objectives – Politics or Markets?.- The Seconomics (Security-Economics) Vulnerabilities of Decentralized Autonomous Organizations.- A Security Perspective on Publication Metrics.- Controlling Your Neighbors Bandwidth for Fun and Profit.- Permanent Reencryption: How to Survive Generations of Cryptanalysts to Come.- Security from Disjoint Paths: Is It Possible?.- End to End Security Is Not Enough.- Auditable PAKEs: Approaching Fair Exchange Without a TTP.