FWSについて
Formal method and security WorkShop（FWS）は形式検証とセキュリティ分野に関するワークショップです．
形式検証とは，システムやプロトコルなどの対象とその要件を形式言語を用いて記述し，対象がその要件を満たす/満たさないことを数理的な技法を用いて証明する技術です． 厳密性が必要なセキュリティ分野との相性がよく，暗号プロトコルやシステムの検証など，セキュリティの様々な分野で応用されています． 本ワークショップでは，形式検証とセキュリティの境界領域の研究および実用化の促進を目的とし，最新の研究動向や検証ツールを紹介します．
開催概要
開催期間
2024年10月23日(水) 13:40-17:20 （CSS2024期間中）
CSS2024のプログラムはこちら
会場
神戸国際会議場 & オンライン（ハイブリッド開催）
アクセス情報はこちら
参加登録
FWS2024への参加登録はCSS2024の参加登録と共通になっています．
手続きの詳細につきましてはCSS2024の参加登録および参加費のページをご参照ください．
運営委員会
中林 美郷（NTT社会情報研究所）
花谷 嘉一（東芝）
米山 一樹（茨城大学）
プログラム
FWS企画① 10/23(水) 13:40-15:20
FWS企画② 10/23(水) 15:40-17:20
プライバシーポリシー
FWS2024のプライバシーポリシーはCSS2024のプライバシーポリシーに準じます．