萩原 茂樹 | 東京工業大学大学院情報理工学研究科計算工学専攻
スポンサーリンク
概要
関連著者
-
萩原 茂樹
東京工業大学大学院情報理工学研究科計算工学専攻
-
米崎 直樹
東京工業大学大学院情報理工学研究科計算工学専攻
-
米崎 直樹
東京工業大学大学院情報理工学研究科
-
佐藤 直人
東京工業大学大学院 情報理工学研究科 計算工学専攻
-
BHERY Ashraf
東京工業大学大学院情報理工学研究科計算工学専攻
-
古井 貞煕
東京工業大学大学院情報理工学研究科計算工学専攻
-
古井 貞煕
東京工業大学
-
古井 貞煕
東工大
-
小黒 博昭
東京工業大学大学院情報理工学研究科計算工学専攻
-
篠崎 隆宏
東京工業大学大学院情報理工学研究科計算工学専攻
-
友石 正彦
東京工業大学
-
古井 貞熙
東京工業大学大学院情報理工学研究科:国立国語研究所
-
関嶋 政和
東京工業大学 大学院情報理工学研究科 計算工学専攻
-
関嶋 政和
東京工業大学大学院情報理工学研究科計算工学専攻|東京工業大学学術国際情報センター
-
篠崎 隆宏
東京工業大学
-
秋山 卓見
東京工業大学大学院情報理工学研究科計算工学専攻
-
泉 直子
十文字学園女子大学社会情報学部社会情報学科
-
畑山 研
(株)日立製作所公共システム事業部
-
小黒 博昭
東京工業大学大学院情報理工学研究科計算工学専攻:(株)nttデータ技術開発本部siアーキテクチャ開発センタ
-
小黒 博昭
東京工業大学 工学部
-
関嶋 政和
東京工業大学
-
安藤 崇央
九州大学大学院システム情報科学研究院情報知能工学部門
-
米? 直樹
東京工業大学大学院情報理工学研究科計算工学専攻
著作論文
- 記号論的暗号解析を用いたOblivious Transferプロトコルの解析(セキュリティ,フォーマルアプローチ論文)
- 記号論及び計算論によるセキュリティ解析の相互関係(数理的技法による情報セキュリティ)
- 安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法(セッション4-B : ネットワークセキュリティ(1))
- 安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法
- 安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法(セッション4-B : ネットワークセキュリティ(1))
- 安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法
- 形式オントロジーに基づく遺伝子調節のための数値モデル
- 演繹体系による暗号方式の形式化と体系の性質としての暗号方式の安全性
- 演繹体系による暗号方式の形式化と体系の性質としての暗号方式の安全性
- Spi計算の型付けによる公開鍵暗号方式を用いたプロトコルのメッセージ認証の検証
- 初等的でないフレームを持つ様相論理の統一化による証明法
- 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発
- SAT solverを用いるLTLタブロー構成法とその評価