Harald Vogt Publications

• Harald Vogt
  Protocols for Secure Communication in Wireless Sensor Networks.
  PhD thesis No. 18174, ETH Zurich, Zurich, Switzerland, December 2009
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt, Matthias Ringwald, Mario Strasser
  Intrusion Detection and Failure Recovery in Sensor Nodes.
  Tagungsband INFORMATIK 2005, Workshop Proceedings. Lecture Notes in Informatics, Vol. P-68, Gesellschaft für Informatik, pp. 161-163, Bonn, Germany, September 2005
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt
  Increasing Attack Resiliency of Wireless Ad Hoc and Sensor Networks.
  The 2nd International Workshop on Security in Distributed Computing Systems (SDCS-2005): Proceedings of the 25th IEEE International Conference on Distributed Computing Systems – Workshops (ICDCS 2005 Workshops). IEEE Computer Society, pp. 179-184, Columbus, OH, United States, June 2005
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt
  Small Worlds and the Security of Ubiquitous Computing.
  First International Workshop on Trust, Security and Privacy for Ubiquitous Computing (TSPUC 2005): Proceedings of 6th IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks (WoWMoM 2005). IEEE CS, pp. 593-597, Taormina, Sicily, Italy, June 2005
  Abstract, BibTeX, Paper (.pdf)
  
  
• Philip Robinson, Harald Vogt, Waleed Wagealla (Eds.)
  Privacy, Security and Trust within the Context of Pervasive Computing.
  The Kluwer International Series in Engineering and Computer Science, Springer Science+Business Media, Inc. ISBN 0-387-23461-6, 2005
  BibTeX. See also: http://www.springeronline.com/sgw/cda/frontpage/0,11855,4-186-72-35393865-0,00.html
  
  
• Frank Siegemund, Christian Floerkemeier, Harald Vogt
  The Value of Handhelds in Smart Environments.
  Personal and Ubiquitous Computing, Vol. 9, No. 2, pp. 69-80, October 2004
  Abstract, BibTeX
  
  
• Harald Vogt
  Exploring Message Authentication in Sensor Networks.
  Proceedings of ESAS 2004 (1st European Workshop on Security in Ad Hoc and Sensor Networks). LNCS, Springer-Verlag, Heidelberg, Germany, August 2004
  Abstract, BibTeX, Paper (.pdf)
  
  
• Frank Siegemund, Christian Floerkemeier, Harald Vogt
  The Value of Handhelds in Smart Environments.
  In: Christian Mueller-Schloer, Theo Ungerer, Bernhard Bauer (Eds.): 17th International Conference on Architecture of Computing Systems – Organic and Pervasive Computing (ARCS 2004). LNCS No. 2981, ISBN 3-540-21238-8, pp. 291-308, Augsburg, Germany, March 23-26, 2004
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt
  Integrity Preservation for Communication in Sensor Networks.
  Technical Report No. 434, ETH Zürich, Institute for Pervasive Computing, February 2004
  BibTeX, Paper (.pdf)
  
  
• Harald Vogt, Michael Rohs, Roger Kilian-Kehr
  Middleware for Smart Cards.
  In: Qusay H. Mahmoud (Ed.): Middleware for Communications. John Wiley & Sons, ISBN 0-470-86206-8, 2004
  Abstract, BibTeX
  
  
• Jürgen Bohn, Harald Vogt
  Robust Probabilistic Positioning Based on High-Level Sensor-Fusion and Map Knowledge.
  Technical Report No. 421, ETH Zurich, April 2003
  Abstract, BibTeX, Paper (.pdf)
  
  
• Jürgen Bohn, Felix Gärtner, Harald Vogt
  Dependability Issues of Pervasive Computing in a Healthcare Environment.
  In: Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (Eds.): First International Conference on Security in Pervasive Computing. Lecture Notes in Computer Science No. LNCS 2082, Springer-Verlag, pp. 53-70, Boppard, Germany, March 2003
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt
  Multiple Object Identification with Passive RFID Tags.
  IEEE International Conference on Systems, Man and Cybernetics (SMC '02). October 2002
  Abstract, BibTeX, Paper (.pdf)
  
  
• Harald Vogt
  Efficient Object Identification With Passive RFID Tags.
  In: Friedemann Mattern, Mahmoud Naghshineh (Eds.): Proc. International Conference on Pervasive Computing. pp. 98-113, Pervasive2002, Springer-Verlag, April 2002
  Abstract, BibTeX, Paper (.pdf)
  
  
• Michael Rohs, Harald Vogt
  Smart Card Applications and Mobility in a World of Short Distance Communication.
  Final Report of the CASTING Project, a Cooperation with Swisscom Corporate Technology. January 2001
  Abstract, BibTeX, Paper (.pdf)
  
  
• Marc Langheinrich, Friedemann Mattern, Kay Römer, Harald Vogt
  First Steps Towards an Event-Based Infrastructure for Smart Things.
  Ubiquitous Computing Workshop (PACT 2000), Philadelphia, PA. October 15-19, 2000
  Abstract, BibTeX, Paper (.pdf)
  
  
• Roger Kehr, Michael Rohs, Harald Vogt
  Mobile Code as an Enabling Technology for Service-oriented Smartcard Middleware.
  Proc. 2nd International Symposium on Distributed Objects and Applications DOA'2000. IEEE Computer Society, pp. 119-130, Antwerp, Belgium, September 2000
  Abstract, BibTeX, Paper (.pdf)
  
  
• Scott Guthery, Roger Kehr, Joachim Posegga, Harald Vogt
  GSM SIMs as Web Servers.
  7th International Conference on Intelligence in Services and Networks IS&N. Athens, Greece, February 2000
  BibTeX, Paper (.pdf)
  
  
• Roger Kehr, Michael Rohs, Harald Vogt
  Issues in Smartcard Middleware.
  In: I. Attali, T. Jensen (Eds.): Java on Smart Cards: Programming and Security. LNCS, Vol. 2041, Springer-Verlag, pp. 90-97, 2000
  Abstract, BibTeX, Paper (.pdf)
  
  
• Roger Kehr, Harald Vogt, Andreas Zeidler
  Towards a Generic Execution Service for Small Devices.
  FuseNetD Workshop. Heidelberg, Germany, November 1999
  BibTeX, Paper (.pdf)
  http://www.eurescom.de/~pub/fusenetd/
  
  
• Roger Kehr, Joachim Posegga, Harald Vogt
  PCA: Jini-based Personal Card Assistant.
  Secure Networking – CQRE. LNCS, Vol. 1740, Springer-Verlag, pp. 64-75, November 1999
  BibTeX, Paper (.pdf)
  
  
• David Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt
  Java Bytecode Verification by Model Checking.
  Computer Aided Verification, 11th International Conference. LNCS, Vol. 1633, Springer-Verlag, pp. 491-494, 1999
  BibTeX, Paper (.pdf)
  
  
• Andrew Slater, Rajeev Gore, Joachim Posegga, Harald Vogt
  cardTAP: Automated Deduction on a Smart Card.
  11th Australian Joint Conference on Artificial Intelligence. LNCS, Vol. 1502, Springer-Verlag, pp. 239-247, 1998
  BibTeX
  
  
• Andrew Slater, Rajeev Gore, Joachim Posegga, Harald Vogt
  cardTAP: The First Theorem Prover on a Smart Card.
  In: Claude Kirchner, Helene Kirchner (Eds.): 15th Conference on Automated Deduction. LNAI, Vol. 1421, Springer-Verlag, pp. 47-50, 1998
  BibTeX
  
  
• Joachim Posegga, Harald Vogt
  Java Bytecode Verification Using Model Checking.
  Formal Underpinnings of Java Workshop at OOPSLA. Vancouver, Canada, 1998
  BibTeX, Paper (.pdf)
  
  
• Joachim Posegga, Harald Vogt
  Bytecode Verification for Java Smart Cards Based on Model Checking.
  ESORICS. LNCS, Vol. 1485, Springer-Verlag, pp. 175-190, 1998
  BibTeX