1X-2 冗長な検査の削除を行う整数オーバーフロー対策ツールの実装(セキュア設計・実装・フォレンジクス,学生セッション,セキュリティ)

スポンサーリンク

概要

• 論文の詳細を見る
• 2009-03-10

著者

• 桑原 寛明

  立命館大学情報理工学部

• 國枝 義敏

  立命館大学情報理工学部

• 山崎 悟史

  立命館大学情報理工学部

• 國枝 義敏

  立命館大学

• 桑原 寛明

  立命館大学

関連論文

• 3K-5 タスク分割によるCell用の自動並列化コンパイラの開発(チップマルチプロセッサと並列化技術,学生セッション,アーキテクチャ)
• 4K-2 条件分岐のSIMD化手法のCellへの適用(HPCと高速化,学生セッション,アーキテクチャ)
• 例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム(ディペンダブルコンピューティング)
• 5K-8 消費電力の実行時予測を用いた電力最適化(マルチスレッドと省電力,学生セッション,アーキテクチャ)
• DIMMnet-1を用いた分散共有メモリシステムにおけるページ転送方式の改良(OS-2 : 資源管理,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
• DIMMnetによる分散共有メモリシステムの同期変数管理機構の開発(ARC-7: ネットワークインタフェースとルーティング, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
• ホストベースのDoS攻撃防御システム SYN Packet Pacifier
• シンプレックス法に基づく実用的な配列データ依存解析(システムソフトウェア)
• 並列化可能性判定のための配列データ依存解析問題のモデル化とシンプレックス法を基とする解法の提案
• 多段認証を可能とするパケット通過型PPTP中継システムの実装と性能評価
• メールシステムの信頼性に関する一考察(セッション1)
• 負苛分散を考慮した不正コンテンツフィルタの提案(セッション1)
• IPマルチキャストを用いたユーザ認証つきインターネット放送システム(高速ネットワークとマルチメディアアプリケーション)
• 多段のファイアウォールを越えるPPP/PPTP中継システムの実装と評価(e-Japan時代のインターネット/分散システムの構築運用技術)
• StrutsLint : Web アプリケーションコーディングチェッカ
• 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
• 柔軟なネットワーク管理フレームワークを提供するトラブルチケットシステムの構築(ネットワーク管理)(インターネットアーキテクチャ技術論文)
• IPマルチキャストを用いたユーザー認証つきインターネット放送システム
• 5L-8 コード視覚化手法を用いたMPIプログラム開発環境のユーザインタフェース(プログラミング支援環境,学生セッション,ソフトウェア科学・工学)
• 1K-6 静的解析情報を利用したセキュアシステムの侵入検知精度向上(仮想化と言語処理系,学生セッション,アーキテクチャ)
• 1X-2 冗長な検査の削除を行う整数オーバーフロー対策ツールの実装(セキュア設計・実装・フォレンジクス,学生セッション,セキュリティ)
• 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• 例外処理付きオブジェクト指向言語における情報流の安全性解析
• Javaプログラム理解支援のための不変性解析
• Java プログラム理解支援のための不変性解析
• π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
• π計算に基づくプログラミング言語NepiのためのGUI機能
• 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
• π計算による優先度継承プロトコルの形式的記述
• ネットワーク型不正コンテンツフィルタの提案
• PCクラスタを対象とするループレベル並列化機能を有するMIRAIコンパイラにおけるループ再構築部の実装
• 自動並列化コンパイラMIRAIにおけるループ再構築部の設計と実現方法
• InfiniBand Verb層を利用したソフトウェア分散共有メモリシステムFagusの実装と評価
• EPGA実装型光通信ネットワークインタフェースによるソフトウェア分散共有メモリシステムの実装と評価
• FPGA実装型光通信ネットワークインタフェースによるソフトウェア分散共有メモリシステムの実装と評価
• 等式分割を用いた配列データ依存解析手法
• ウィンターワークショップ2011・イン・修善寺開催報告
• メモリスロット装着型ネットワークインタフェースDIMMnetを用いた分散共有メモリシステムFagusの実装
• コールスタックの制御データ検査によるスタック偽装攻撃検知
• B-038 CUDAプログラミングのためのプロファイリングと最適化支援(GPGPU,B分野:ソフトウェア)
• A-011 既存のプログラミング言語のための量子探索機構(アルゴリズム・コンピュテーション(1),A分野:モデル・アルゴリズム・プログラミング)

もっと見る 閉じる

スポンサーリンク