永藤 直行 | 東京工業大学大学院情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 永藤 直行の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科計算工学専攻の論文著者

関連著者

• 永藤 直行

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

• 永藤 直行

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

• 渡部 卓雄

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

• 渡部 卓雄

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

• 渡部 卓雄

  東京工業大学

• 山田 聖

  産業技術総合研究所・情報セキュリティ研究センター

• 山田 聖

  北陸先端科学技術大学院大学情報科学研究科

著作論文

• ロード時バイナリ変換によるセキュリティ強制方式
• 不干渉性の強制について
• GDBとシステムモデルを用いたソースコード検証器の開発
• 不干渉性の強制について
• 不干渉性の強制について
• 不干渉性の強制について

スポンサーリンク