Security Protocols XXI

21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers

  • Bruce Christianson
  • James Malcolm
  • Frank Stajano
  • Jonathan Anderson
  • Joseph Bonneau
Conference proceedings Security Protocols 2013

DOI: 10.1007/978-3-642-41717-7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8263)

Table of contents

  1. Front Matter
    PDF
  2. Introduction: What’s Happening on the Other Channel? (Transcript of Discussion)
    Bruce Christianson
    Pages 1-2
  3. Towards New Security Primitives Based on Hard AI Problems
    Bin B. Zhu, Jeff Yan
    Pages 3-10
  4. Towards New Security Primitives Based on Hard AI Problems (Transcript of Discussion)
    Jeff Yan
    Pages 11-18
  5. Towards a Theory of Application Compartmentalisation
    Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie
    Pages 19-27
  6. Towards a Theory of Application Compartmentalisation (Transcript of Discussion)
    Robert N. M. Watson
    Pages 28-38
  7. Authentication for Resilience: The Case of SDN
    Dongting Yu, Andrew W. Moore, Chris Hall, Ross Anderson
    Pages 39-44
  8. Authentication for Resilience: The Case of SDN (Transcript of Discussion)
    Dongting Yu
    Pages 45-53
  9. Verifiable Postal Voting
    Josh Benaloh, Peter Y. A. Ryan, Vanessa Teague
    Pages 54-65
  10. End-to-End Verifiable Postal Voting (Transcript of Discussion)
    Vanessa Teague
    Pages 66-70
  11. Independent Computations for Safe Remote Electronic Voting
    Alec Yasinsac
    Pages 71-83
  12. Independent Computations for Safe Remote Electronic Voting (Transcript of Discussion)
    Alec Yasinsac
    Pages 84-93
  13. ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets
    Jun Zhao, Virgil Gligor, Adrian Perrig, James Newsome
    Pages 94-114
  14. ReDABLS: Revisiting Device Attestation with Bounded Leakage of Secrets (Transcript of Discussion)
    Virgil Gligor
    Pages 115-122
  15. Enhancements to Prepare-and-Measure Based QKD Protocols
    Peter Y. A. Ryan, Bruce Christianson
    Pages 123-133
  16. Enhancements to Prepare-and-Measure-Based QKD Protocols (Transcript of Discussion)
    Peter Y. A. Ryan
    Pages 134-142
  17. Simple Defences against Vibration-Based Keystroke Fingerprinting Attacks
    Rushil Khurana, Shishir Nagaraja
    Pages 143-151
  18. Simple Defences against Vibration-Based Keystroke Fingerprinting Attacks (Transcript of Discussion)
    Shishir Nagaraja
    Pages 152-160
  19. Communication Setup in Anonymous Messaging
    Francesco Bergadano
    Pages 161-169
  20. Communication Setup in Anonymous Messaging (Transcript of Discussion)
    Francesco Bergadano
    Pages 170-175

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 21st International Workshop on Security Protocols, held in Cambridge, UK, in March 2013.
The volume contains 14 revised papers with transcripts of the presentation and workshop discussion and an introduction, i.e. 15 contributions in total. The theme of the workshop was "What's Happening on the Other Channel?".

Keywords

authentication cryptography electronic voting multichannel protocols secure key exchange

Editors and affiliations

  • Bruce Christianson
    • 1
  • James Malcolm
    • 1
  • Frank Stajano
    • 2
  • Jonathan Anderson
    • 2
  • Joseph Bonneau
    • 3
  1. 1.School of Computer ScienceUniversity of HertfordshireHertfordshireUK
  2. 2.Computer LaboratoryUniversity of CambridgeCambridgeUK
  3. 3.Center for Information Technology PolicyPrinceton UniversityPrincetonUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-41716-0
  • Online ISBN 978-3-642-41717-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349