Logical foundation and formal verification of quantum-resistant security protocols
詳細情報
| 科研費研究課題/領域番号 | 24KK0185 [ KAKENで見る ] |
|---|---|
| 種目 | 国際共同研究加速基金(海外連携研究) |
| 採択年度 | 2024 |
| 代表者氏名 | 緒方 和博 |
| 採択時の代表者所属 | 北陸先端科学技術大学院大学 先端科学技術研究科 教授 |
| 代表者の科研費研究者番号 | 30272991 |
| 科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ 推定科研費審査区分（中区分） | 60 （情報科学、情報工学） |
| 分析データ クラスタ | 38 （計算機・電気通信・通信デバイス・量子計算機） |