北陸先端科学技術大学院大学 研究シーズ|
検索したキーワードがページ内でハイライトします。
| RESET |
研究キーワード：北陸先端科学技術大学院大学における「量子計算」 に関係する研究一覧：1件
概要表示
折りたたむ
発表日：2025年8月2日
1
世界初！セキュリティプロトコル形式解析器の並列化に成功
－解析時間を大幅に短縮し、より安全なインターネットに貢献－
逆向き探索技術「バックワードナローウイング」の並列化に成功膨大な解析時間を要する従来手法に対し、並列化による高速化と効率化を実現多数のセキュリティプロトコルで実証済み 北陸先端科学技術大学院大学 コンピューティング科学研究領域の...
キーワード：コンピューティング/論理プログラミング/インターネット/プログラミング/プログラミング言語/プロトコル/最適化/並列化/量子計算/脆弱性/量子コンピュータ
他の関係分野：情報学環境学数物系科学