5th France-Japan Cybersecurity workshop (April 23-25, 2019)

The 5th France-Japan Cybersecurity workshop will take place in Kyoto on April 23rd, 24th and 25th, 2019.

As for preceding events, the three-days program will include scientific presentations and discussions with plenary sessions and distributed sessions among the working groups.

Participation from universities, companies and policy makers is encouraged.

Registration
The Workshop is free and open to everyone but registration is mandatory.

Registrations are closed, please contact
Claude Kirchner at claude.kirchner@inria.fr or
Koji Nakao at ko-nakao@nict.go.jp

Dates
April 23-25, 2019

Hosts
Keio University, NICT

Organizing members
Kyoto University, Academic Media Center (Prof. Okabe)

Venue http://www.shirankai.or.jp/e/facilities/access/index.html
Kyoto University, Yoshida Konoe-cho Sakyo-ku, Kyoto-shi, 606-8501 Japan
Main conference room: Yamauchi Hall (80 seats)
Sub-conference rooms: Medium conference room (60 seats)x2, Small conference room (20 seats) to be used for the parallel sessions

Accomodation
Due to the fact that Japanese Golden Week (10 days holidays) will start on April 27th, the period between April 22nd and April 25 will be very busy and accommodation not easy to find.
We therefore strongly suggest to book a hotel as soon as possible.

One simple solution is to book the hotel provided by Kyoto University which is located nearby the venue.
NICT has already pre-booked 12 rooms (10 singles and 2 twins) in this hotel and the participants who want to book a room in this hotel should contact as soon as possible Nana Ikumi at nana@nict.go.jp

PRELIMINARY PROGRAM

Tuesday April 23rd (1st day;Technical session)

09:45 Registration 10:00-12:00 Plenary session 1 at Yamauchi Hall 10:00 Opening: Jean-Matthieu Bonnel (Consul Général de France à Kyoto), Claude Kirchner (Inria), Koji Nakao (NICT), Mitsu Okada (Keio University), Yasuo Okabe (Kyoto University) 10:15-11:00 Prof. Takakura (NII) Establishment of Secure Academic Cyberspace by Collaboration among Universities  11:00-11:15 Break 11:15-12:00 Castucia Palamidessi (Inria, France) Local Differential Privacy and trade-off with Utility (see also http://www.lix.polytechnique.fr/~catuscia/temp/190423_Kyoto.key )

12:00- 13:30 Lunch

13:30-15:30 Parallel sessions WG 1, 2, 6, 8 WG 1 <Formal Methods> (Yamauchi Hall) 13:30-13:45 Mitsuhiro Okada (Keio University) French-Japanese collaboration on formal verification of  cryptographic protocols and on algorithmic ethic 13:45-14:15 Kohei Suenaga (Kyoto University) Automated proof synthesis for propositional logic using deep learning 14:15-14:45 Virgile Prevosto and Virgile Robles (Institut LIST, CEA) MetACSL, A Frama-C plug-in for expressing security properties 14:45-15:10 Ehab ElSalamouny (Inria) Applications of the Expectation-Maximization framework to private data 15:10-15:30 Yusuke Kawamoto (AIST) Epistemic logic for expressing the statistical security of machine learningWG 2 <Cryptography> (Annex: seminar room 1) 13:30-13:45 Introduction 13:45-14:15 Valerie Fetzer (Karlsruhe Institute of Technology (KIT), Germany) Privacy-Preserving Electronic Toll Collection 14:15-14:45 Pierre-Alain Fouque (Univ. Rennes) Pattern Matching on Encrypted Data 14:45-15:15 Mehdi Tibouchi (NTT) Degenerate fault attacks on elliptic curve parameters in OpenSSLWG 6 < Secure IoT systems for critical services> (Small room) 13:30-13:45 Koji Nakao (NICT)  Introduction of this session (WG6) 13:45-14:30 Assia Tria (CEA) – Introduction of M-SEC F/J project including a test platform (P-SCAN) 14:30-14:45 Koji Nakao (NICT) – Securing IoT system for ITS environment (mainly for automotive environment) 14:45-15:15 TBC – Cyber-Physical security framework discussed in METI (Japan) 15:15-15:30 Discussion WG 8 <Cyber-norms and international cooperations on cybersecurity> (Annex: seminar room 2) 13:30-13:45 Kavé Salamatian – Introduction to the session (WG8) 13:45-14:15- Alix Desforges – Comparative analysis of French and Japan Cybersecurity framework 14:15-14:45- Colin Gerard– The structure of Russian Disinformation campaigns 14:45-15:15- Kavé Salamatian– Huawei 5G controversy updates 15:15-15:30 Discussion

15:30 – 16:00 Break

16:00-18:00 Collaboration session (1) at Yamauchi Hall 16:00 – 16:30 Frank Kuo (Trend Micro) Evolving Your SOCs with Trend Micro OpenSOC XDR 16:30 – 17:00 Paul Hernault (Quarkslab) Fuzzing binaries using Dynamic Instrumentation 17:00 – 17:30 Gregory Blanc (IMT, Paris Sud) Eunity preliminary results: Europe-Japan roadmap on cybersecurity research 17:30 – 18:00 Yuko Yamabata (ATOS) Digital transformation and Cyber-security for the Olympic Games

18:30- Conference Dinner

Wednesday April 24th (2nd day: Technical session)