Keynote and Invited Speakers

 Keynote speaker
Hyper-Encryption and Ever Lasting Secrets

Michael O. Rabin
Harvard University
Division of Engineering and Applied Sciences
Pierce Hall 110A
Cambridge, MA 02138, USA

Modern encryption is based on unproven assumptions concerning the intractability of certain computational tasks. We present a novel encryption method and prove its security against an adversary with unlimited computing power. The encryption remains secure even if the adversary mounts an adaptive attack and later on obtains the secret decryption key. Hence the property of ever lasting secrecy. We shall also discuss general cryptographic issues. The presentation is self contained.

 Invited speaker
What is a Theory ?

Gilles Dowek
Department of Computer Science
BP 105
78153 Le Chesnay Cedex, France

Deduction modulo is a way to express a theory using computation rules instead of axioms. We present in this paper an extension of deduction modulo, called Polarized deduction modulo, where some rules can only be used at positive occurrences, while others can only be used at negative ones. We show that all theories in propositional calculus can be expressed in this framework and that cuts can always be eliminated with such theories.

 Invited speaker
Models and Techniques for Communication in Dynamic Networks

Christian Scheideler
Department of Computer Science
Johns Hopkins University
3400 N. Charles Street
Baltimore, MD 21218, USA

In this paper we will present various models and techniques for communication in dynamic networks. Dynamic networks are networks of dynamically changing bandwidth or topology. Situations in which dynamic networks occur are, for example: faulty networks (links go up and down), the Internet (the bandwidth of connections may vary), and wireless networks (mobile units move around). We investigate the problem of how to ensure connectivity, how to route, and how to perform admission control in these networks. Some of these problems have already been partly solved, but many problems are still wide open. The aim of this paper is to give an overview of recent results in this area, to identify some the most interesting open problems and to suggest models and techniques that allow to study them.