|
Thursday, October 12 |
| 09:30 |
Opening
|
| 09:45 |
Masatomo Hashimoto and
Akinori Yonezawa, Univ. Tokyo
A
Context-based Higher-Order Typed Language for Mobile Computation
|
| 10:45 |
Tatsuro Sekiguchi and
Takahiro Sakamoto, Univ. Tokyo
Implementing
Strong Mobility on Weak Mobility via Exception Handling |
| 11:45 |
Lunch |
| 13:00 |
Oscar Nierstrasz, Univ.
Berne & Tokyo Institute of Technology
Piccola - A Small Composition Language |
| 14:15 |
Kenjiro Taura and
Norifumi Gotoh, Univ. Tokyo
Secure Shared
Memory |
| 15:15 |
Short Break |
| 15:30 |
Cedric Fournet, Microsoft
Research Cambridge
Secure Implementations
for Distributed Programming Languages |
| 17:30 |
|
|
Friday, October 13 |
| 10:00 |
Jan Vitek, CERIAS &
S3 Purdue University
Confined Types for
Engineering Secure Systems in Java |
| 12:00 |
Lunch |
| 13:30 |
Andrew Myers, Cornell
Univ.
Protecting Confidentiality Against
Untrusted Programs and Hosts |
| 15:30 |
Short Break |
| 15:45 |
Dan Wallach, Rice
University
Enforcing Mobile Code Security
Through Transformation |
| 17:45 |
|
| 19:00 |
Workshop Dinner (Place to be announced) |
|
Saturday, October 14 |
| 10:00 |
Discussions and Planning |
| 11:45 |
Closing
|
| 12:00 |
|
