You can download a printable version: [pdf]

The Ninth International Copnference on Provable Security (ProvSec 2015) will be held at Kanazawa Tokyu Hotel in Kanazawa, Japan on November 24-26, 2015. Provable security is an important research area in modern cryptography. Cryptographic primitives or protocols without a rigorous proof cannot be regarded as secure in practice. In fact, there are many schemes that were originally thought as secure but eventually broken, which clearly indicates the need of formal security assurance. With provable security, we are confident in using cryptographic schemes and protocols in various real-world applications. Meanwhile, schemes with provable security sometimes give only theoretical feasibility rather than a practical construction, and correctness of the proofs may be difficult to verify. ProvSec conference thus provides a platform for researchers, scholars and practitioners to exchange new ideas for solving these problems in the provable security area.

Kanazawa is one of the most historical cities in Japan. It is famous for Kenrokuen Garden and Kanazawa Castle Park. In particular, Kenrokuen Garden is one of the three greatest gardens in Japan. The conference venue is next to these two places. It is located at the most beautiful area in Kanazawa.

Travel Information
The conference venue is located approximately 3 kilometers south of Kanazawa Station.
From Overseas:

• Narita International Airport (code NRT)
  It is the most convenient airport to get to Japan from overseas. You can get to Kanazawa via Komatsu Airport. There is an evening flight from Narita Int'l Airport to Komatsu Airport. It will take about an hour.
• Haneda Airport (code HND):
  There are some international flights from overseas to Haneda Airport. It is convenient to get to Kanazawa via Komatsu Airport or Shinkansen.
• Kansai International Airport (code KIX):
  There are also some international flights from overseas to Kansai Airport. It is convenient to get to Kanazawa by taking JR (Japan Railway) via Shin-Osaka Station. It will take about 3.5 to 4 hours by Special Express 'Haruka' from Kansai Int'l Airport to Shin-Osaka Station and Special Express 'Thunderbird' or 'Raicho' from Shin-Osaka Station to Kanazawa Station. There are about two services per an hour. The cost will be about 10,000JPY.
• Komatsu Airport (code KMQ):
  It is the nearest airport to Kanazawa. There are some international flights from Seoul, Shanghai, and Taipei to Komatsu Airport. Airport limousine bus shuttles are available from Komatsu Airport to Kanazawa Station. It will take less than an hour, and the cost will be 1,130JPY.

From Tokyo Area:

• By train (Shinkansen):
  You can get to Kanazawa Station from Tokyo Station by Hokuriku Shinkansen operated by JR (Japan Railway). There are 24 services everyday, and the cost will be about 14,000JPY. 'Kagayaki' is express type and takes 2 hours and a half. 'Hakutaka' is multi-stop type and takes about 3 hours.
• By air You can get to Kanazawa from Narita or Haneda Airport via Komatsu Airport. There is an evening flight from Narita Int'l Airport to Komatsu Airport. It will take about an hour. There are about ten flights from Haneda Airport to Komatsu Airport everyday. It will take about an hour. From Komatsu Airport to Kanazawa Station, airport limousine bus shuttles are available. It will take less than an hour, and the cost will be 1,130JPY.

From Kansai (Kyoto, Osaka, Kobe) Area:

• It is recommended to get to Kanazawa Station by JR (Japan Railway). It will take about 2 hours by Special Express 'Thunderbird' from Osaka Station to Kanazawa Station. There are about two services per an hour. The cost will be about 6,000JPY. Kyoto is on the way. The cost will be about 5,000JPY from Kyoto Station.