共同研究・競争的資金等の研究課題

2016年4月 - 2019年3月

論理的ー形式的手法による情報セキュリティ研究ー暗号プロトコル検証と量的情報流解析

日本学術振興会  二国間交流事業 共同研究 (AYAMEプログラム)
  • 岡田 光弘

資金種別
競争的資金