「クリプトクロム」に関するサイレントキーワード「仕様検証」が含まれる科研費採択研究1件

【研究名】暗号プロトコルの数理的構造と検証補完に関する基礎研究
【研究代表者】森 雅生  九州大学   システム情報科学研究院   助手 	https://nrid.nii.ac.jp/ja/nrid/1000020284549/