小黒 博昭 | 東京工業大学大学院情報理工学研究科計算工学専攻:(株)nttデータ技術開発本部siアーキテクチャ開発センタ

スポンサーリンク

概要

• 小黒 博昭の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科計算工学専攻:(株)nttデータ技術開発本部siアーキテクチャ開発センタの論文著者

関連著者

• 米崎 直樹

  東京工業大学大学院情報理工学研究科計算工学専攻

• 小黒 博昭

  東京工業大学大学院情報理工学研究科計算工学専攻:(株)nttデータ技術開発本部siアーキテクチャ開発センタ

• 米崎 直樹

  東京工業大学大学院情報理工学研究科

• 小黒 博昭

  東京工業大学大学院情報理工学研究科計算工学専攻

• 萩原 茂樹

  東京工業大学大学院情報理工学研究科計算工学専攻

• 小黒 博昭

  東京工業大学 工学部

著作論文

• 記号論的暗号解析を用いたOblivious Transferプロトコルの解析(セキュリティ,フォーマルアプローチ論文)
• 紛失通信プロトコルの解析のための可能世界意味論に基づく形式体系

スポンサーリンク