Security Protocols

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 When Is a Protocol Broken? (Transcript of Discussion)
3. Altmetric Badge
   Chapter 2 Measurable Security through Isotropic Channels
4. Altmetric Badge
   Chapter 3 Measurable Security through Isotropic Channels (Transcript of Discussion)
5. Altmetric Badge
   Chapter 4 Modeling Partial Attacks with Alloy
6. Altmetric Badge
   Chapter 5 Modeling Partial Attacks with Alloy (Transcript of Discussion)
7. Altmetric Badge
   Chapter 6 Resiliency Aspects of Security Protocols
8. Altmetric Badge
   Chapter 7 Privacy Amplification with Social Networks
9. Altmetric Badge
   Chapter 8 Privacy Amplification with Social Networks (Transcript of Discussion)
10. Altmetric Badge
    Chapter 9 Reconciling Multiple IPsec and Firewall Policies
11. Altmetric Badge
    Chapter 10 Reconciling Multiple IPsec and Firewall Policies (Transcript of Discussion)
12. Altmetric Badge
    Chapter 11 Anchor-Less Secure Session Mobility
13. Altmetric Badge
    Chapter 12 Anchor-Less Secure Session Mobility (Transcript of Discussion)
14. Altmetric Badge
    Chapter 13 A Model for System-Based Analysis of Voting Systems
15. Altmetric Badge
    Chapter 14 A Model for System-Based Analysis of Voting Systems (Transcript of Discussion)
16. Altmetric Badge
    Chapter 15 Multi-Channel Key Agreement Using Encrypted Public Key Exchange
17. Altmetric Badge
    Chapter 16 Multi-Channel Key Agreement Using Encrypted Public Key Exchange (Transcript of Discussion)
18. Altmetric Badge
    Chapter 17 Security Protocols
19. Altmetric Badge
    Chapter 18 On the Security of the EMV Secure Messaging API (Transcript of Discussion)
20. Altmetric Badge
    Chapter 19 Distributed Double Spending Prevention
21. Altmetric Badge
    Chapter 20 Distributed Double Spending Prevention (Transcript of Discussion)
22. Altmetric Badge
    Chapter 21 Security Protocols
23. Altmetric Badge
    Chapter 22 Robbing the Bank with a Theorem Prover
24. Altmetric Badge
    Chapter 23 Disclosure Control of Natural Language Information to Enable Secure and Enjoyable Communication over the Internet
25. Altmetric Badge
    Chapter 24 Disclosure Control of Natural Language Information to Enable Secure and Enjoyable Communication over the Internet
26. Altmetric Badge
    Chapter 25 Towards Working with Small Atomic Functions
27. Altmetric Badge
    Chapter 26 Towards Working with Small Atomic Functions
28. Altmetric Badge
    Chapter 27 Daonity: Protocol Solutions to Grid Security Using Hardware Strengthened Software Environment
29. Altmetric Badge
    Chapter 28 Private Yet Abuse Resistant Open Publishing
30. Altmetric Badge
    Chapter 29 Private Yet Abuse Resistant Open Publishing (Transcript of Discussion)
31. Altmetric Badge
    Chapter 30 Instructions to Reviewers