@InProceedings{JohnsonSta:2005-hats,
   AUTHOR="Matthew Johnson and Frank Stajano",
   TITLE="Implementing a multi-hat PDA",
   booktitle="The Thirteenth International Workshop on Security Protocols",
   year="2005",
   month="April",
   note = "To appear.",
   url="http://www.matthew.ath.cx/publications/2005-JohnsonSta-hats.pdf",
}