北陸先端科学技術大学院大学 研究シーズ|
検索したキーワードがページ内でハイライトします。
| RESET |
研究キーワード：北陸先端科学技術大学院大学における「プログラミング言語」 に関係する研究一覧：2件
概要表示
折りたたむ
発表日：2025年8月2日
1
世界初！セキュリティプロトコル形式解析器の並列化に成功
－解析時間を大幅に短縮し、より安全なインターネットに貢献－
逆向き探索技術「バックワードナローウイング」の並列化に成功膨大な解析時間を要する従来手法に対し、並列化による高速化と効率化を実現多数のセキュリティプロトコルで実証済み 北陸先端科学技術大学院大学 コンピューティング科学研究領域の...
キーワード：コンピューティング/論理プログラミング/インターネット/プログラミング/プログラミング言語/プロトコル/最適化/並列化/量子計算/脆弱性/量子コンピュータ
他の関係分野：情報学環境学数物系科学
概要表示
折りたたむ
発表日：2025年5月7日
2
バグの無いソフトウェアを開発するための技術：証明スコア
証明スコアは、バグの無いソフトウェアを開発するための技術の一つとして注目されている技術過去数十年に渡り研究されてきた証明スコアによる形式検証の概観をまとめた証明スコアの弱点及び克服方法を示すとともに、より多くの研究者に普及させるための改善案の提案...
キーワード：コンピューティング/プログラミング/プログラミング言語/プロトコル/暗号プロトコル/形式検証/開発環境/論理学/量子暗号/数学モデル/インタラクティブ/データ構造/生活の質
他の関係分野：情報学複合領域数物系科学工学