日仏コンピュータ・セキュリティ・シンポジウム

Franco-Japanese Symposium on Computer Security

2005年9月5日−7日 慶応義塾大学三田キャンパス


日仏の情報科学、情報工学の諸分野のセキュリティ研究者達が分野を超えて 情報セキュリティ研究の相互交流を行い、今後の両国間での研究協力の 契機とすることを目指し、フランス側15名の研究者を迎えて 日仏共同研究集会を下記のように開催します。 フランス側訪問団は日本の多くの研究者との交流を希望しています。 関連分野の研究者の皆様の御参加を歓迎いたします。

正規プログラムの各セッションは公開です。参加費無料、事前登録無しです。 (ただし、参加者が150名を超えるセッションでは入場制限を させて頂く場合があります。) 

場所:
慶応義塾大学三田キャンパス東館6階 G-Sec(Global Security Lab)ホール (JR田町駅、地下鉄三田駅、地下鉄赤羽橋駅から徒歩5分。 東館は三田キャンパス東門上の建物です。)
アクセスマップ: http://www.keio.ac.jp/access.html
キャンパス内マップ: http://www.keio.ac.jp/access/mita.html
日時:
9月5日(月)午前10時−7日(水)午後4時45分
主催:
フランス大使館科学技術部、慶応義塾大学、フランス科学研究庁(CNRS)、 フランス国立情報科学研究所(INRIA)
協賛:
 
Gemplus
Sony Computer Science Laboratories, Inc.
Toppan Printing Co., Ltd.

ウェブページ: このシンポジウムのウェブページは..

英語(フランス大使館サイト内):
http://www.ambafrance-jp.org/article.php3?id_article=841
日本語(慶応義塾サイト内):
http://abelard.flet.keio.ac.jp/seminar/FrancoJapaneseSymposiumOnComputerSecurity.html


Organizers:


French Delegates:

Program

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



問い合わせ先:
慶應義塾大学人文科学COE岡田光弘研究室日仏シンポジウム事務局
〒108-8345 東京都港区三田3-1-7 三田東宝ビル8F
security at abelard.flet.keio.ac.jp


Last Update: 2005/09/02