2020年度
修士論文
- 稲吉 弘樹：対テイント解析攻撃に対応した
Android アプリケーションの動的テイント解析システム
- 宇野 文人：Android アプリケーションにおける操作可能な
画面要素を起点としたパーミッション使用状況の調査
- 村上 恒：IoT機器に共通する環境要素に着目した不適切な挙動の防止手法
- 本居 千佳：疑わしい条件の絞り込みによるロジックボム検知精度向上手法
- 吉野 貴史：制御フローに基づくIoTデバイスの実行監視と外部検知方式
卒業論文
- 大西 導徳：Androidのバイトコード注入による明示的なデータフローへの変換
- 熊谷 圭太：分散型台帳への秘密鍵の封入による公開鍵証明書作成処理の保護
- 野村 昂生：偽装性能の優れたハニーポットの作成の実現に向けた検知可能性の調査
- 清水 康平：x平均法によるIoTアプリケーションコンテナの異常検知システム
- WANG DONGXUE：動的プロセッシングによるIoTデバイス上監視システムの軽量化手法
- 今井 啓貴：IoT機器に対するセキュリティ診断の自動化手法であるファジングの調査と提案
2019年度
修士論文
- 青木 和也：TrustZoneを利用したアンチデバッグマルウェアに対するメモリ解析基盤の構築
- 林 優香：コンパイラ最適化を活用した暗黙的フロー除去手法
- 西村 賢太：IoTアプリケーションコンテナの保護と異常検知手法
卒業論文
- 庄 範郁：Androidアプリケーションにおけるパーミッション不許可後の動作安定化手法の提案
- 徳田 和輝：Androidアプリケーションにおける動的コードローダーを用いた機密情報漏洩の調査
- 山本 萌花：DoS攻撃検知における機械学習モデルの説明手法を用いた特徴量選択方式の提案
2018年度
修士論文
- 岡野 圭史：Androidにおけるパーミッションの使用時要求手法
- 小川 弘貴：AndroidにおけるユーザによるThird-Party Libraryアップデート手法
- 加藤 周良：ヒープ領域安全性向上のためのバイナリコードへのIntel MPX命令適用手法
- 小松 昌平：プロセス内のユーザ指定部分に対する制御フローベースの遠隔認証手法
卒業論文
- 宇野 文人：Androidアプリ更新時に追加される不正な機能の検知手法の提案
- 村上 恒：脆弱性の公開情報を利用したIoTデバイスの安全性評価手法の検討
- 本居 千佳：Bluetooth接続のユーザレベル監視手法の提案
- 吉野 貴史：IoTデバイスに適した制御フローに基づく遠隔異常検知システムの提案
2017年度
修士論文
- 加藤 豊大：開発者負担を軽減するlibevent拡張によるmTCP導入基盤の開発
- 榑林 秀晃：ソースコードを用いないIntel MPX命令適用によるメモリ安全性向上手法
- 竹内 俊輝：ユーザによるContent Security Policyを用いたXSS防御機構Mochaの提案
卒業論文
- 青木 和也：モバイル端末における画面ロック中の物理メモリ保護手法
- 稲吉 弘樹：間接的データフローに対応した動的テイント解析システムの実装
- 西村 賢太：Intel SGXを使用するコンテナのライブマイグレーション手法の検討
- 林 優香：通信ログとカーネル内状態の監視による異常通信検知手法の提案
2016年度
修士論文
- 岩間 響子：ARM TrustZoneにおけるOS間障害検知機能の提案と実装
- 佐藤 皓平：Android端末間におけるアプリケーション実行状態移送機構の実装と評価
- 新美 渓介：プロセス耐障害性向上システムOrthrosにおけるコンテナマイグレーションによるサーバ保護手法
- 松下 馨：プロセス耐障害性向上システムOrthrosにおける障害検知機構の実装
卒業論文
- 岡野 圭史：AndroidにおけるActivity状態保管機構の調査と安全性検証
- 小川 弘貴：機密データに対するトランザクショナルメモリを用いた計算手法の検討
- 加藤 周良：添付ファイル閲覧時の安全性を向上するプロセス隔離機構の実装
- 小松 昌平：遠隔計算機の安全性を検証するRemote Attestationの調査とIntel SGXによる実装の検討
