科研費採択テーマ
・サイバー攻撃対策と暗号理論で支えられるスマートコントラクト利用型自動監視技術
・データの利活用を促進するセキュアシステムの証明可能安全性に関する研究
・ブロックチェーンを基盤とする高信頼性を持った自律分散型監視技術
・次世代暗号の実用化を支える新たな高度鍵更新手法の設計と安全性評価
・第三者による安全性検証が容易な暗号技術の包括的設計手法に関する研究
・クラウド環境におけるセキュリティを確保する新たな暗号方式の提案