Monday, September 20, 1999

   08:00-08:45 Registration

   08:45-09:00 Welcome

   09:00-10:30 Network security: ATM and ISDN

      Security On ATM Networks
      Stelios Karanastasis, Ahmed Patel
      (presented by Pavel Gladyshev)

      ISDN Security Services
      Herbert Leitold, Karl Christian Posch, Reinhard Posch
      (presented by Karl Christian Posch)

      An Alternative Access Control Architecture for IP over ATM Networks
      Olivier Paul, Maryline Laurent
      (presented by Olivier Paul)

   10:30-10:50 Coffee

   10:50-11:50 Applied Cryptology I

      Verifiable Democracy
      Yvo Desmedt, Brian King
      (presented by Yvo Desmedt)

      Efficient Oblivious Proofs of Correct Exponentiation
      Markus Jakobsson, Claus Peter Schnorr
      (presented by Markus Jakobbson)

   11:50-13:30  Lunch

   13:30-14:30  Invited talk

      Upcoming Threats to Secure Communication
      Whitfield Diffie, Distinguished Engineer, Sun Microsystems

   14:30-15:30 Entity Authentication and Key Agreement Protocols

      Weaknesses in EHA Authentication and Key Distribution Protocol
      Martin Stanek, Daniel Olejár
      (presented by Martin Stanek)

      Formal Design of Efficient Authentication and Key-Agreement Protocols
      Gunnar Jacobson
      (presented by Gunnar Jacobson)

   15:30-16:00 Coffee

   16:00-17:30 Network security: IP

      Protecting Key Exchange and Management Protocols Against Resource Clogging Attacks
      Rolf Oppliger
      (presented by Rolf Oppliger)

      Secured Distributed Virtual Conferencing
      W.A. Adamson, C.J. Antonelli, K.W. Coffman, P. McDaniel, J. Rees
      (presented by W.A. Adamson)

      PIM-SM Security: Interdomain Issues and Solutions
      Thomas Hardjono, Brad Cain
      (presented by Thomas Hardjono)

   17:30-18:00 Recent results

   19:30 Banquet

Tuesday, September 21

   08:30-10:00 Protocols for Mobile Applications

      Attacks against the WAP WTLS protocol
      Markku-Juhani Saarinen
      (presented by Markku-Juhani Saarinen)

      A New Authentication Protocol for Portable Communication Systems
      Sheng-bo Xu, Cees Jansen, Henk van Tilborg
      (presented by Cees Jansen)

      Token Based Authentication for Handover Security
      Yi Cheng, Arne Norefors
      (presented by Yi Cheng)

   10:00-10:30 Coffee Break

   10:30-12:00 Applications

      On Authentication, Digital Signatures and Signature Laws
      Per Kaijser
      (presented by Per Kaijser)

      Watermarking and Secure Distribution for Encrypted Video
      T. Amornraksa, D.R.B. Burgess, P. Sweeney
      (presented by Peter Sweeney)

      Implementing a Secure Log File Download Manager for the Java Card
      Constantinos Markantonakis, Simeon Xenitellis
      (presented by Constantinos Markantonakis)

   12:00-14:00 Lunch

   14:00-15:30 Applied Cryptology II

      How to Securely Broadcast a Secret
      Jörg Schwenk
      (presented by Jörg Schwenk)

      Proofs of Work and Bread Pudding Protocols
      Markus Jakobsson, Ari Juels
      (presented by Ari Juels)

      Attack on Liu/Farrel/Boyd Arithmetic Coding Encryption Scheme
      Takeyuki Uehara, Reihaneh Safavi-Naini
      (presented by Yvo Desmedt)

   15:30-16:00 Coffee

   16:00-17:00 Web security

      Secure Data-Transfer for Web-Based Applications
      Wolfgang Platzer
      (presented by Andreas Sterbenz)

      Using SESAME to Secure Web Based Applications on an Intranet
      Paul Ashley, Mark Vandenwauver, Joris Claessens
      (presented by Mark Vandenwauver)