1. SPC 2003: Boppard, Germany

Invited Talks (Abstracts)

• Friedemann Mattern:
  The Age of Pervasive Computing? Everything Smart, Everything Connected? 1
  Electronic Edition (link) BibTeX
• Hideyuki Nakashima:
  Cyber Assist Project and Its Security Requirement. 2-5
  Electronic Edition (link) BibTeX
• Frank Stajano:
  Security in Pervasive Computing. 6-8
  Electronic Edition (link) BibTeX
• Paul A. Karger:
  The Importance of High Assurance Security in Pervasive Computing. 9
  Electronic Edition (link) BibTeX

Location Privacy

• Marco Gruteser, Dirk Grunwald:
  A Methodological Assessment of Location Privacy Risks in Wireless Hotspot Networks. 10-24
  Electronic Edition (link) BibTeX
• Urs Hengartner, Peter Steenkiste:
  Protecting Access to People Location Information. 25-38
  Electronic Edition (link) BibTeX

Security Requirements

• Howard Chivers, John A. Clark, Susan Stepney:
  Smart Devices and Software Agents: The Basics of Good Behaviour. 39-52
  Electronic Edition (link) BibTeX
• Jürgen Bohn, Felix C. Gärtner, Harald Vogt:
  Dependability Issues of Pervasive Computing in a Healthcare Environment. 53-70
  Electronic Edition (link) BibTeX

Security Policies and Protection

• Håkan Kvarnström, Hans Hedbom, Erland Jonsson:
  Protecting Security Policies in Ubiquitous Environments Using One-Way Functions. 71-85
  Electronic Edition (link) BibTeX
• Daniele Gorla, Rosario Pugliese:
  Enforcing Security Policies via Types. 86-100
  Electronic Edition (link) BibTeX
• Axel Schairer:
  Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems. 101-115
  Electronic Edition (link) BibTeX

Authentication and Trust

• Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin:
  Authentication for Pervasive Computing. 116-129
  Electronic Edition (link) BibTeX
• Jean-Marc Seigneur, Stephen Farrell, Christian Damsgaard Jensen, Elizabeth Gray, Yong Chen:
  End-to-End Trust Starts with Recognition. 130-142
  Electronic Edition (link) BibTeX
• Laurent Bussard, Yves Roudier:
  Embedding Distance-Bounding Protocols within Intuitive Interactions. 143-156
  Electronic Edition (link) BibTeX

Secure Infrastructures

• Philip Robinson, Michael Beigl:
  Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments. 157-172
  Electronic Edition (link) BibTeX
• Tieyan Li:
  Time Constraint Delegation for P2P Data Decryption. 173-186
  Electronic Edition (link) BibTeX
• Kemal Bicakci, Nazife Baykal:
  SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing. 187-200
  Electronic Edition (link) BibTeX

Smart Labels

• Stephen A. Weis, Sanjay E. Sarma, Ronald L. Rivest, Daniel W. Engels:
  Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems. 201-212
  Electronic Edition (link) BibTeX

Verification

• Engelbert Hubbers, Martijn Oostdijk, Erik Poll:
  Implementing a Formally Verifiable Security Protocol in Java Card. 213-226
  Electronic Edition (link) BibTeX

Hardware Architectures

• Hyun-Sung Kim, Kee-Young Yoo:
  Cellular Automata Based Multiplier for Public-Key Cryptosystem. 227-236
  Electronic Edition (link) BibTeX
• Ruby B. Lee, David K. Karig, John Patrick McGregor, Zhijie Shi:
  Enlisting Hardware Architecture to Thwart Malicious Code Injection. 237-252
  Electronic Edition (link) BibTeX
• Johann Großschädl, Guy-Armand Kamendje:
  Optimized RISC Architecture for Multiple-Precision Modular Arithmetic. 253-270
  Electronic Edition (link) BibTeX
• Pim Tuyls, Tom A. M. Kevenaar, Geert Jan Schrijen, Toine Staring, Marten van Dijk:
  Visual Crypto Displays Enabling Secure Communications. 271-284
  Electronic Edition (link) BibTeX

Workshop

• Dieter Hutter, Werner Stephan, Markus Ullmann:
  Security and Privacy in Pervasive Computing State of the Art and Future Directions. 285-289
  Electronic Edition (link) BibTeX