お知らせ: 情報セキュリティ研究センターは、2012年4月1日にセキュアシステム研究部門 (2015-03-31 終了) に改組されました。
2015年4月1日現在、一部の研究は情報技術研究部門に継承されています。

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

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

暗号の計算論的・記号的安全性証明に関するスプリングスクール&ワークショップ
2009年4月6日(月)〜9日(木)


Scientific program

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

Students report

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

More information

会場

静岡県伊豆熱川温泉 熱川ハイツ
(東京から2時間)

主催

協賛

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

協力

テーマ

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

招待講演者

運営委員

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