主な研究成果
セキュアシステム研究部門とその前身の研究グループによる主な研究成果をご紹介します。ご興味のある方はお問い合わせください。
- Fail-Safe C: 安全なC言語コンパイラ (スライド)
- HTTP 相互認証プロトコル (スライド)
- 耐漏えい認証・鍵管理基盤 (スライド)
- 絵になるドット二次元(QR)コード (スライド)
- 情報流出元を特定するユーザ認識符号 (スライド)
- 関数型暗号:アクセス制御機能をもつ暗号方式 (スライド)
- 双方向プライバシを保護する化合物データベース検索技術 (スライド)
- マルウェア解析ツール (スライド)
- ドライバ保護ツール (スライド)
- 暗号機器の安全性評価の標準ボード (スライド)
- 超高速フィルタリング装置 (スライド)
- 超高速キャプチャ装置・模擬攻撃装置 (スライド)
- ヒューマンエラー抑止技術 (スライド)
- ソフトウェアのソースコードの形式検証 (スライド)
- 抜けのないテストを生成するテスト設計支援ツール (スライド)
- 長寿命製品の品質維持のための仕様書リファクタリング (スライド)
- 無線LANのセキュリティに係わる脆弱性の報告に関する解説 (スライド)
- セキュリティとプライバシに関する国や業界団体のガイドラインに向けた提言 (スライド)