Program of International Symposium on Software Security 2003

HomePage: http://www.yonezaki.cs.titech.ac.jp/Workshop/isss2003/

Place: Conference Hall in West 8E Building,

             Tokyo Institute of Technology,

             2-12-1, Oookayama, Meguro, Tokyo

Date: 4, 5, 6 November 2003

Tuesday, 4 November 2003

09:45 Registration Opens

10:00-10:10 Opening

10:10-10:50 (40*1)

Managing Information Technology Security Risk   (slides)

David Gilliam (Jet Propulsion Laboratory, California Institute of Technology)

10:50-11:00 Break

11:00-12:00 (30*2)

Security Policy Descriptions through the Use of Control Structure of a Target Program   (slides)

Hirotake Abe (University of Tsukuba)
Kazuhiko Kato (University of Tsukuba, Japan Science and Technology Corporation)

The Design of A Secure Distributed Devices System Based on Immunity

Hiroyuki Nishiyama (Tokyo University of Science)
Yukinobu Mine (Tokyo University of Science)
Fumio Mizoguchi (Tokyo University of Science)

12:10-13:40 Lunch

13:40-14:20 (40*1)

MSR 3.0: The Logical Meeting Point of Multiset Rewriting and Process Algebra   (slides)

Iliano Cervesato (ITT Industries, Inc.)

14:20-15:20 (30*2)

A Formal System for Analysis of Cryptographic encryption and Their Security properties   (slides)

Ashraf Bhery (Tokyo Institute of Technology)
Shigeki Hagihara (Tokyo Institute of Technology)
Naoki Yonezaki (Tokyo Institute of Technology)

Inferences on Honesty in Compositional Logic for Protocol Analysis

Koji Hasebe (Keio University)
Mitsuhiro Okada (Keio University)

15:20-15:50 Break

15:50-16:30 (40*1)

A Model for Delimited Information Release   (slides)

Andrei Sabelfeld (Cornell University)
Andrew C. Myers (Cornell University)

16:30-17:30 (30*2)

Detecting Unknown Computer Viruses

Akira Mori (AIST)

UML Scrapbook and Realization of Snapshot Programming Environment

Osamu Sato (University of Tokyo)
Richard Potter (JST PRESTO)
Mitsuharu Yamamoto (Chiba University)
Masami Hagiya (University of Tokyo)

17:30 End of the first day

18:00 Reception

Wednesday, 5 November 2003

9:30 Start of the second day

9:30-10:50 (40*2)

Java Program Verification at Nijmegen: Developments and Perspective   (slides)

Bart Jacobs (University of Nijmegen)
Erik Poll (University of Nijmegen)

Verifying Confidentiality and Authentication in Kerberos 5   (slides)

Frederick Butler (University of Pennsylvania)
Iliano Cervesato (ITT Industries, Inc.)
Aaron D. Jaggard (University of Pennsylvania)
Andre Scedrov (University of Pennsylvania)

10:50-11:10 Break

11:10-12:10 (30*2)

The Interface Definition Language for Fail-Safe C   (slides)

Kohei Suenaga (University of Tokyo)
Yutaka Oiwa (University of Tokyo)
Eijiro Sumii (University of Pennsylvania)
Akinori Yonezawa (University of Tokyo)

Securing RPC with a reference monitor for system calls   (slides)

Yasushi Shinjo (University of Tsukuba)
Yoshinori Nakata (University of Tsukuba)
Kozo Itano (University of Tsukuba)

12:10-13:30 Lunch

13:30-14:10 (40*1)

Formal Specification and Verification of Resource Bound Security Using PVS   (slides)

Weijiang Yu (University of Texas at Austin)
Aloysius K. Mok (University of Texas at Austin)

14:10-15:10 (30*2)

Cost estimation calculus for analysing denial-of-service attack resistance.

Daigo Tomioka (NS Solutions Corp.)
Shin-ya Nishizaki (Tokyo Institute of Technology)
Ritsuya Ikeda (Tokyo Institute of Technology)

Decision Procedures for Several Properties of Reactive System Specification   (slides)

Noriaki Yoshiura (Gunma University)

15:10-15:40 Break

15:40-17:00 (40*2)

Handcuffing the Big Brother: How to Escrow Transaction Data While Preserving Privacy   (slides)

Note: This paper will NOT be appearing in the LNCS issue associated with the workshop.

Stanislaw Jarecki (UC Irvine)
Vitaly Shmatikov (SRI International)

Formal analysis of e-services through process algebra tools&techniques   (slides)

Fabio Martinelli (Italian National Research Council)

17:00-17:30 (30*1)

Formal Analysis of the NetBill Electronic Commerce Protocol   (slides)

Kazuhiro Ogata (NEC Software Hokuriku, Ltd., JAIST)
Kokichi Futatsugi (JAIST)

17:30 End of the second day

19:00 Dinner with invited speakers

Thursday, 6 November 2003

10:00 Start of the 3rd day

10:00-11:20 (40*2)

Security, Safety, and Partitioning   (slides)

John Rushby (SRI International)

Lightweight Wrappers for Interfacing with Binary Code in CCured   (slides)

Matthew Harren (UC Berkeley)
George Necula (UC Berkeley)

10:20-11:30 Break

11:30-12:00 Closing

13:30-17:30

Tutorial on Mechanized Formal Methods

John Rushby (SRI International)

17:30 End of the 3rd day and the symposium