The 4th Franco-Japanese "Computer Security" Workshop, Tokyo
The purpose of the meeting is to exchange ideas on the field of computer security with the special forcus on secure software, security protocols, cryptology and the related field.
- December 5th and 6th, 2008 (at Keio University)
Dec 5th (Friday)
- Opening and Introductory Remarks, Claude Kirchner (INRIA) and Mitsuhiro Okada (Keio University)
- Special Talk
- Akinori Yonezawa (University of Tokyo), "Modeling and Simulating Real/Virtual Worlds with Concurrent Objects"
- Session I
- Helene Kirchner (INRIA) "A rewrite based approach for security policies"
- Lunch Break
- Session II
- Masami Hagiya (University of Tokyo) "Mapping Lemma for Rerandomization (tentative)"
- Hubert Comon (ENS Cachan and AIST) "Models of security protocols"
- Gergei Bana (Lisbon Technical University) (jointly with Koji Hasebe, Tsukuba University and Mitsu Okada, Keio University) "Computational semantics and the first order logic approach of the protocol correctness proofs"
- Yannick Chevalier (INRIA, LORIA & Toulouse University) "On the security of Web services"
- Coffee Break
- Session III
- Hideki Sakurada (NTT) "Computational Sound Symbolic Interactive Zero-Knowledge Proof Systems"
- Phong Q. Nguyan (INRIA, ENS) "Cryptanalysis vs. Provable security"
- Tsutomu Matsumoto (Yokohama National University) "On Estimating RSA Private-Keys Generated in Security Chip TPM"
- Herve Chabanne (SAGEM) "New cryptographic techniques for the protection of biometric data"
- Benjamin Gregoire (INRIA Sophia-Antipolis) "Formal certification of cryptographic proofs"
- Reception at Chugoku-Hanten near the East Gate
Dec 6th (Saturday)
- Session IV
- Naoki Kobayashi (Tohoku University) "TBA"
- Graham Steel (INRIA, LSV) "Formal Analysis of Security APIs"
- Atsuko Miyaji (JAIST) "The recent tendency of research and standardization of elliptic curve cryptosystems"
- Boutheina Chetali (GEMALTO) "TBA"
- Lunch Break
- Session V
- Atsushi Igarashi (Kyoto University) "A Modal Foundation for Secure Information Flow"
- Georg Fuchsbauer (ENS, Paris) "Rational Cryptography"
- Kazuki Yoneyama (The University of Electro-Communications) "Security Analyses on Cryptographic Protocols against Strong Adversaries using Task-structured PIOA Framework"
- Olivier Ly (Bordeaux University and CNRS (LaBRI)) (joinly with Serge Chaumette and Renaud Tabary) "Secure program partitioning for hardware-based software protection"
- Coffee Break
- Session VI
- Hiroaki Oguro*, Shigeki Hagihara**, Naoki Yonezaki** (*SI Architecture Center, Research and Development Headquarters, NTT data Corporation; **Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology) "A Formal System for Analysis of an Oblivious Transfer Protocol"
- Yusuke Kawamoto (University of Tokyo) "Computational Soundness of Symbolic Anonymity in the Applied Pi-Calculus"
- Claude Kirchner (INRIA) "Antipatterns: a way to say what you don't want"
- Closing Discussion
The 4th Franco-Japanese Security Meeting Organizing Commitee
- Veronique Cortier (LORIA)
- Koji Hasebe (Tsukuba University)
- Claude Kirchner (LORIA)
- Mitsuhiro Okada (Keio University)
- Hideki Sakurada (NTT)
- Yutaro Sugimoto (Keio University)
The formal members of the Franco-Japanese Computer Security Group:
- Naoki Kobayashi (Tohoku University)
- Kenji Kono (Keio University)
- Masami Hagiya (The University of Tokyo)
- Tsutomu Matsumoto (Yokohama National University)
- Mitsuhiro Okada (Keio University) cochair
- Tatsuaki Okamoto (NTT Science and Core Technology Laboratory Group)
- Junji Shikata (Yokohama National University)
- Shinji Shimojo (Osaka University)
- Yoshio Tanaka (AIST)
- Hajime Watanabe (RCIS/AIST)
- Akinori Yonezawa (The University of Tokyo) cochair
- Veronique Cortier (LORIA) cochair
- Denis Caromel (INRIA)
- Hubert Comon (ENS-Cachan)
- Patrick Cousot (ENS)
- Gilles Dowek (LIX, Laboratoire d'Informatique de l'Ecole Polytechnique)
- Ludovic Henrio (CNRS)
- Claude Kirchner (LORIA) cochair
- David Pointcheval(ENS)
- Michael Rusinowitch (INRIA)
- Jacques Stern (ENS-Ulm)