The 2nd Franco-Japanese Computer Security Workshop, Tokyo


Program Updated.

Conference Site Opened.

The 2nd Franco-Japanese Computer Security Workshop, Tokyo

Based on the CNRS-JST Franco-Japanese collaboration on Computer Security, we plan the following 2nd Workshop in Tokyo, connected to ASIAN'06 on Secure Software (the 11th Annual Asian Computing Science Conference).
For the Asian'06 on Secure Software, please see
The Franco-Japanese Workshop (Sponsored by Keio University with support from JST and CNRS) is open to the public with free of charge.



G-Sec Lab, 6th Floor, East Building, Mita Campus of Keio University
(5 minutes walk from JR-Tamachi Station or Subway-Mita Station or Subway-Akabanebashi Station)


Dec 4th (Monday)

10:10-11:40 Session on Formal Methods for security protocols 11:40-12:10 Special Session on Grid Security and Related Issues 12:10-13:30 Lunch Break

13:30-15:00 Session on Formal Methods for security protocols II

Break (20 minutes)

15:20-16:40 Session on Relation between Formal Methods and Computational/Cryptography Methods

Break (15 minutes)

16:55-17:40 security protocols research 17:40-18:10 Special Session on Network Security 18:20- Reception at Faculty Club (North Building, Keio University)
(All audience are welcome to join to the Reception, without charge)

Dec 5th (Tuesday)

9:30-12:15 Cryptology Session

Break (15 minutes)

12:15-13:45 Lunch Break

Conference Lunch (All speakers are invited to the conference lunch)

13:45-14:15 Security Valuation Session 14:15-15:35 Specal Session on Software Verification and Security Guest Talks

Break (15 minutes)

15:50-18:00 Session on Secure and Reliable Software

Break (10 minutes)



The formal members of the Franco-Japanese Computer Security Group:



The last year's first workshop information