このページでは、主にセキュリティキャンプで使用した講義資料（PDF形式）や補足資料を掲載します。
2023年度 L5 - TEEの活用と攻撃実践ゼミ
- セキュリティキャンプ - 1 TEEとは何か？
- セキュリティキャンプ - 2 Intel SGXの基礎
- セキュリティキャンプ - 3 SGXプログラミングの基礎
- セキュリティキャンプ - 4 Sealing
- セキュリティキャンプ - 5 ProvisioningとTCB Recovery
- セキュリティキャンプ - 6 Attestation
- セキュリティキャンプ - 7 SGX Fail
- セキュリティキャンプ - 8 SGX攻撃編①
- セキュリティキャンプ - 9 SGX攻撃編②
- セキュリティキャンプ - 10 SGX攻撃編③
その他SGX脆弱性解説
関連GitHubリポジトリ
- sgx-tmp: SGXプログラムの雛形。実装学習用
- helloSGX: Enclaveを用いたごく簡単なプログラム
- helloSealing: シーリングを実行するコード例
- SGX-Bleed-PoC: SGX攻撃の一種であるSGX-BleedのPoCコード
- Humane-LAFW: Local Attestationを人道的（Humane）な難易度で実装するための雛形となるフレームワーク
- Humane-RAFW: EPID方式のRemote Attestationを人道的（Humane）な難易度で実装するための雛形となるフレームワーク