産総研 > RCIS > イベント情報 > 暗号の計算論的・記号的安全性証明に関するスプリングスクール＆ワークショップ

暗号の計算論的・記号的安全性証明に関するスプリングスクール＆ワークショップ

Scientific program

最終版のプログラムと講演資料 はこちら。

Students report

５人の学生による本ワークショップの概要及び紹介

More information

会場

静岡県伊豆熱川温泉 熱川ハイツ
（東京から２時間）

主催

• 独立行政法人　産業技術総合研究所　情報セキュリティ研究センター
• 日本電信電話株式会社

協賛

• JST戦略的国際科学技術協力推進事業 日本−フランス（CNRS)研究交流
  　　　　　「計算機によって検証された安全性証明」プロジェクト
  

協力

• 日本応用数理学会

テーマ

暗号および暗号プロトコルの安全性証明に関して多角的な観点から議論。詳細は こちら をご覧下さい。

招待講演者

• Martin Abadi (Univ. California at Santa Cruz and Microsoft Research)
• Michael Backes (Saarland Univ. and Max Planck Institute for Software Systems)
• Bruno Blanchet (ENS Paris)
• Ralf Kuesters (Univ. Trier)
• John C. Mitchell (Stanford Univ.)
• Kazuo Ohta (UEC Tokyo)
• Olivier Pereira (Univ. Catholique de Louvain)
• David Pointcheval (ENS Paris)
• Roberto Segala (Univ. Verona)
• Bogdan Warinschi (Univ. Bristol)

運営委員

詳細は こちら をご覧下さい。