1

2 Table of Contents: “... Networks -- The Resurrecting Duckling -- INTERNET-MARKs: Clear, Secure, and Portable Visual Marks...”

3

4

5 Table of Contents: “... internet secure transactions based on collaborative domains -- How to build evidence in a public-key...”

6 Table of Contents: “...Inductive Analysis of the Internet Protocol TLS -- Inductive Analysis of the Internet Protocol TLS...”

7

8 Table of Contents: “...Keynote Address: Security Protocols and the Swiss Army Knife -- Mergers and Principals -- Mergers...”

9

10

11 Table of Contents: “... Imprecise Delegation in KeyNote -- Modeling Protocols for Secure Group Communications in Ad Hoc Networks...”

12 Table of Contents: “... Exchange for Internet Protocols -- Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols...”

13 Table of Contents: “... Diffie-Hellman for Secure Key Exchange in MANETs -- Spraying Diffie-Hellman for Secure Key Exchange...”

14 Table of Contents: “... Problem for Cryptographic Protocols Solved? -- Secure Sessions from Weak Secrets -- Secure Sessions from...”

15 Table of Contents: “... (Transcript of Discussion) -- One User, Many Hats; and, Sometimes, No Hat: Towards a Secure Yet Usable PDA...”

16 Table of Contents: “...Putting the Human Back in the Protocol -- Composing Security Metrics -- Putting the Human Back...”

17 Table of Contents: “...On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike...”

18 “...Security and Cryptology...”

19 Table of Contents: “...Introduction: Bringing Protocols to Life (Transcript of Discussion) -- Secure Internet Voting...”

20 Table of Contents: “... of the Pico password replacement system (Transcript of Discussion) -- I Bought a New Security Token and All I...”