Advertisement

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
  21. Towards a Stronger Location Integrity
    Rubin Xu, Dongting Yu
    Pages 176-179
  22. Towards a Stronger Location Integrity (Transcript of Discussion)
    Rubin Xu
    Pages 180-188
  23. Back Channels Can Be Useful! – Layering Authentication Channels to Provide Covert Communication
    Mohammed H. Almeshekah, Mikhail J. Atallah, Eugene H. Spafford
    Pages 189-195
  24. Back Channels Can Be Useful! – Layering Authentication Channels to Provide Covert Communication (Transcript of Discussion)
    Mohammed H. Almeshekah
    Pages 196-201
  25. Spraying Diffie-Hellman for Secure Key Exchange in MANETs
    Ariel Stulman, Jonathan Lahav, Avraham Shmueli
    Pages 202-212
  26. Spraying Diffie-Hellman for Secure Key Exchange in MANETs (Transcript of Discussion)
    Ariel Stulman
    Pages 213-222
  27. On the Origin of Yet another Channel
    Petr Švenda, Václav Matyáš
    Pages 223-237
  28. On the Origin of Yet another Channel (Transcript of Discussion)
    Petr Švenda
    Pages 238-244
  29. Verifiable Classroom Voting: Where Cryptography Meets Pedagogy
    Feng Hao, Dylan Clarke, Carlton Shepherd
    Pages 245-254
  30. Verifiable Classroom Voting: Where Cryptography Meets Pedagogy (Transcript of Discussion)
    Feng Hao
    Pages 255-264
  31. Back Matter
    PDF

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

  • DOI https://doi.org/10.1007/978-3-642-41717-7
  • 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
  • Buy this book on publisher's site