2021年10月 CSS 2021優秀論文賞 一般社団法人 情報処理学会 コンピュータセキュリティ研究会(CSEC) 伴野 良太郎, 松岡 航太郎, 松本 直樹, Bian Song, 和賀 正樹, 末永 幸平 タイトル 完全準同型暗号を用いた秘匿LTLオンラインモニタリング リンク情報 共同研究・競争的資金等の研究課題AI集約的サイバーフィジカルシステムの形式的解析設計手法 研究課題