NSPW 2003: Ascona, Switzerland

Surviving threats

• John McHugh, Carrie Gates:
  Locality: a new paradigm for thinking about normal behavior and outsider threat. 3-10
  
• Jelena Mirkovic, Max Robinson, Peter L. Reiher:
  Alliance formation for DDoS defense. 11-18
  
• J. McDermott, A. Kim, Judith N. Froscher:
  Merging paradigms of survivability and security: stochastic faults and designed faults. 19-25
  

Language-based security

• Daniel C. DuVarney, V. N. Venkatakrishnan, Sandeep Bhatkar:
  SELF: a transparent security extension for ELF binaries. 29-38
  
• Yolanta Beres, Chris I. Dalton:
  Dynamic label binding at run-time. 39-46
  

Security engineering

• Ivan Flechais, Martina Angela Sasse, Stephen Hailes:
  Bringing security home: a process for developing secure and usable systems. 49-57
  
• Arnab Ray:
  Security check: a formal yet practical framework for secure software architecture. 59-65
  
• Michael Backes, Matthias Schunter:
  From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification. 67-74
  

Identification control

• Ammar Alkassar, Christian Stüble, Ahmad-Reza Sadeghi:
  Secure object identification: or: solving the Chess Grandmaster Problem. 77-85
  
• Trevor Perrin:
  Public key distribution through "cryptoIDs". 87-102
  
• Carrie Gates, Jacob Slonim:
  Owner-controlled information. 103-111
  

Ubiquitous computing/security

• K. Jones, Ashraf Wadaa, Stephan Olariu, Larry Wilson, Mohamed Eltoweissy:
  Towards a new paradigm for securing wireless sensor networks. 115-121
  
• Kevin Eustice, Leonard Kleinrock, Shane Markstrum, Gerald J. Popek, Venkatraman Ramakrishna, Peter L. Reiher:
  Securing nomads: the case for quarantine, examination, and decontamination. 123-128