Program
|
10.00 - 11.00
|
Verifying security protocols - Michael Rusinowitch
(slides)
|
|
11.00 - 11.15
|
Discussion/Coffee
|
|
11.15 - 11.45
|
A static analysis for ensuring secrecy - Wendelin Serwe
|
|
11.45 - 12.30
|
Verification of Mobile Java Agents - Frederic Tronel
(slides)
|
|
12.30 - 14.30
|
Lunch
|
|
14.30 - 15.00
|
Comparison of Model-Checkers to be
used in a toolset for the analysis of distributed Java applications:
formats and interconnections - Eric Madelaine
(slides and
related report)
|
|
15.00 - 15.30
|
Specification languages for
concurrent object-oriented programs - Marieke Huisman
|
|
15.30 - 17.00
|
Discussion
|
