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