Nowadays, computer security problems are front-page news. Viruses like ILOVEYOU and denial of service attacks create problems on a worldwide scale. These problems not only cause immediate economic damage, but also impede the introduction of new Internet technologies and make consumers wary to embrace web-based products and services. The ICT community struggles with the question of how to solve these problems without losing the benefits of the ever-increasing connectivity.
It has become clear that security is not an add-on feature, but a fundamental aspect which has to be taken into account all the way through the software development process. As such, it is becoming an extensive research topic, ranging over many traditional areas in computer science. In IPA, security is emerging as a research topic in areas of formal methods, algorithmics, and software technology. It challenges existing techniques and methods, and raises interesting new questions. In industrial practice security is not a recent issue, there a wealth of experience has been acquired in protecting all kinds of applications. The Lentedagen aim to show both sides of the coin by combining contributions from academia and industry.
The program was composed by Bart Jacobs (KUN) and Erik de Vink (TU/e).
Arrival and registration (11.30 -12.30)
12.30 - 14.00 Lunch
Introduction
14.00 - 14.15 Erik de Vink (TU/e): Introduction to the Lentedagen
Tutorial: Crypto I
14.15- 15.00 Gerard Tel (UU): What can we prove about numbers? Abstract
15.00 - 15.15 Coffee and Tea
Tutorial: Crypto II
15.15 - 16.00 Gerard Tel (UU): Cryptographic tools
Session: Verification
16.15 - 17.00 Bart Jacobs (KUN): Verification of cryptographic protocols Abstract
17.00 - 18.00 Drinks
18.00 Dinner
20.00 -... Discussion session Spiritual Machines: a future without mankind?
Session: Smartcards "Theory"
09.00 - 09.45 Erik Poll (KUN): Security of Java Card smartcard applets Abstract
09.45 - 10.30 Pieter Hartel (UT): Java and Java Card safety Abstract
10.30 - 10.45 Coffee and Tea
Session: Smartcards "Practice"
10.45 - 11.30 Marc Witteman (TNO TPD): Smart card security analysis Abstract
Session: Network control
11.30 - 12.15 Martijn van Veelen (RuG): Detecting abnormal behaviour, additional paper Abstract
12.15 - 13.30 Lunch
Session: Network control (continued)
13.30 - 14.15 Jan Laarhuis (KPN Research) : Feature interaction in active networks
14.15 - 15.00 Ben Spaanenburg (RuG): Self-healing networks Abstract
15.00 - 15.15 Coffee and Tea
Session: Content protection
15.15 - 16.00 Jean-Paul Linnartz (Philips Natlab): Electronic Watermarking of Audio and Video Abstract
Session: BAN logic
16.00 - 16.45 Erik de Vink (TU/e): BAN-logic, a logic of authentication Abstract
16.45 - 17.30 Jan Wessels (CMG): Usage of BAN-logic Abstract
17.30 - 18.00 Drinks
18.00 Dinner
20.00 - ... Social Event
Session: Network Security
09.15 - 10.00 Jurjen Bos (Interpay): How (not) to use a firewall Abstract
10.00 - 10.45 Ted Lindgreen (NL Net): Internet security
10.45 - 11.00 Coffee and Tea
Session: Electronic voting
11.00 - 11.45 Berry Schoenmakers (TU/e): Cryptographic protocols for electronic voting Abstract
11.45 - 12.30 Harm van Beek (TU/e, EESI) : Specifying an electronic vote using DiCons Abstract
12.30 - 14.00 Lunch and Departure
(Costs are based on single room.)
| IPA Ph.D. students (shared room only!) | free | ||
| Speakers | free | ||
| IPA members |
| ||
| Associated members |
|
||
| Other participants |
|
Please note that Ph.D. students who are not in IPA will be charged as associated members if they belong to a research school that is associated with IPA, and as an other participant otherwise.
To make maximal use of the available capacity, we process applications on the following basis: Registrations are treated "first come, first serve". All Ph.D. students (IPA and non-IPA) have to share a room. Others may also be asked to share if we run out of rooms.
Please remit the amount due, to our bank account with the ABN/AMRO. Account number: 60.27.60.690, in the name of A.M.H.G. Oversteegen e/o V.A.J. Borghuis, Den Dolech 2, 5600 AM Eindhoven. Please mention participation "IPA Lentedagen 2001"