アクセスマップ： http://www.keio.ac.jp/access.html
キャンパス内マップ： http://www.keio.ac.jp/access/mita.html
Gemplus
Sony Computer Science Laboratories, Inc.
日仏の情報科学、情報工学の諸分野のセキュリティ研究者達が分野を超えて
情報セキュリティ研究の相互交流を行い、今後の両国間での研究協力の
契機とすることを目指し、フランス側15名の研究者を迎えて
日仏共同研究集会を下記のように開催します。
フランス側訪問団は日本の多くの研究者との交流を希望しています。
関連分野の研究者の皆様の御参加を歓迎いたします。
正規プログラムの各セッションは公開です。参加費無料、事前登録無しです。 （ただし、参加者が150名を超えるセッションでは入場制限を させて頂く場合があります。）
ウェブページ：
このシンポジウムのウェブページは..
French Delegates:
Sept. 5 (Mon)
Morning
09:30 Coffee and doughnuts
Opening and Overviews
| 10:00 | Welcoming Address |
| Yuichiro Anzai (President, Keio University) | |
| 10:10 | Organizers' Address |
| Claude Kirchner (LORIA), Aki Yonezawa (Univ. Tokyo) | |
| 10:30 | Security and Dependability of Information Network |
| Jun Murai (Vice-President, Keio University) | |
| 11:15 | Recent French Network Security Research Activities |
| Serge Fdida (LIP6 CNRS - University of Paris 6 /CNRS) | |
| Current researches on foundations of security and dependability in France | |
| Claude Kirchner (LORIA) |
12:00 - 13:30 Lunch Break
Afternoon
Session 1: Network Security
| 13:30 | Hideyuki Tokuda (Keio University) |
| An Overview of a Computer Security Research Project in Japan | |
| 14:00 | Gwendal le Grand (ENST Paris) |
| A Survey of Network Security Research at ENST | |
| 14:30 | Koji Nakao (NICT) |
| Research and Development of Incident Analysis and Handling System |
15:00 - 15:15 Break
| 15:15 | Refik Molva (Eurecom) |
| Overview of Research in Ad Hoc Network security (Presentation Part1, Part2) | |
| 15:45 | Yuki Kadobayashi (NAIST) |
| Research and Development of Secure Overlay Networks |
16:15 - 16:30 Break
Session 2: Hardware / Smart Card Security
| 16:30 | Boutheina Chetali (Axalto) |
| Formal Methods for Smart Cards Security and the Common Criteria | |
| 17:00 | Tadashi Morita (Sony Corporation) |
| Security in FeliCa | |
| 17:30 | Alain Merle (CEA Leti) |
| Security testing of hardware products: the security evaluation practice |
| 18:30 - 20:00 | Welcoming Reception @ Faculty Club, Keio Univ. |
| Coordinator: Mitsu Okada (Keio Univ) | |
| Welcoming Address: Phillipe Codognet (French Embassy, Tokyo) | |
| Greeting/Toasting: Tetsu Ikegami (President of Aizu Univ.) | |
| Speach: Mario Tokoro (President, Sony Computer Science Lab), and others (to be announced) |
Sept. 6 (Tue)
Morning
Session 3: Cryptology and Analysis of Cryptographic Protocol
| 10:00 | Pascal Paillier (Gemplus) |
| Provably Secure Cryptography: State of the Art and Industrial Applications | |
| 10:30 | Kazukuni Kobara and Hideki Imai (Research Center for Information Security, AIST) |
| WEP Weak IVs Revisit | |
| 11:00 | Veronique Cortier (CNRS and LORIA) |
| Verification of cryptographic protocols: techniques, tools and link to cryptanalysis |
11:30 - 11:45 Break
| 11:45 | Junji Shikata (Yokohama National Univ.) |
| Encryption and Signatures with Unconditional Security | |
| 12:15 | Hajime Watanabe (Research Center for Information Security, AIST) |
| A Random-Error-Resilient Fingerprinting Code |
Lunch Break 12:45 - 14:00
Afternoon
Session 4: Biometry and Authentication
| 14:00 | Tsutomu Matsumoto (Yokohama National University) |
| Problems for Biometric Security Testing | |
| 14:30 | Kazuhiko Sumi (Kyoto University) |
| Privacy Protection for Biometric Personal Authentication Systems | |
| 15:00 | Nozha Boujemaa (INRIA Rocq) |
| Security application at IMEDIA project |
15:30 - 16:00 Break
Session 5: Secure GRID / security policy
| 16:00 | Shinji Shimojo (Osaka Univ.) |
| CA system for Grid | |
| 16:30 | Laurent Baduel (INRIA) |
| Secure Distributed Objects and Groups for the Grid: ObjectWeb ProActive | |
| 17:00 | Yoshio Tanaka (Grid research Center, AIST) |
| Recent Activities on International Grid Trust Federation |
18:30 - 20:30 French Reception at Maison Franco-Japonaise in Ebisu
Sept. 7 (Wed)
Morning
Session 6: Formal Methods
| 10:00 | Claude Kirchner (LORIA) |
| Formal islands and certified pattern matching code | |
| 10:30 | Masami Hagiya (Univ. Tokyo) |
| Model Checking of Multi-Process Applications Using SBUML and GDB | |
| 11:00 | Patrick Cousot (LIENS) |
| Challenges in Abstract Interpretation for Software Safety |
11:30 - 11:45 Break
| 11:45 | Koji Hasebe and Mitsuhiro Okada (Keio University) |
| Correctness proofs and countermodel generation with authentication-protocol logic | |
| 12:15 | Gilles Barthe (INRIA Sophia) |
| Certificate translation |
12:45 - 14:00 Lunch Break
Afternoon
Session 7: Provable Secure Construction of Software
| 14:00 | Jun Furuse (University of Tokyo) |
| Information Flow Analysis and Type Systems for Secure C Language (VITC Project) | |
| 14:30 | Gilles Dowek (Ecole Polytechnique / LIX) |
| An Overview of the Project using Coq (tentative) | |
| 15:00 | Reynald Affeldt (Research Center for Information Security, AIST) and Marti Nicolas (University of Tokyo) |
| Encoding Separation Logic in Coq and Its Application (tentative) |
15:30 - 15:45 Break
| 15:45 | Dominique Cancell (LORIA) |
| Incremental Proof-Based System Modeling Using Refinement | |
| 16:15 | Toshiyuki Maeda (University of Tokyo) |
| A Type System for Memory-Secure Operating System Kernels (tentative) |
16:45 Closing