論文の概要: "They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild
- arxiv url: http://arxiv.org/abs/2609.11411v1
- Date: Thu, 10 Sep 2026 11:43:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-11 23:53:35.3175
- Title: "They don't care about this": A Systematic Study of TEE Build Reproducibility in the Wild
- Title（参考訳）: 『これらは気にしない』:野生におけるTEE構築再現性に関する体系的研究
- Abstract要約: TEEは現代のクラウドコンピューティングの基盤となり、強力な機密性と完全性を保証する。
本稿では,115件のTEEデプロイメントの技術的分析を通じて,TEEビルドの整合性について検討する。
これらのデプロイメントの91%は再現不可能であり、80%はソースコードとリファレンスビルドの両方を提供していない。
- 参考スコア（独自算出の注目度）: 24.88524581687194
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Trusted Execution Environments (TEEs) have become a cornerstone of modern cloud computing, providing strong confidentiality and integrity guarantees for both code and data. A critical component of this trust model is remote attestation, which enables external entities to verify the authenticity and integrity of code executing within a TEE through cryptographic measurements. However, the effectiveness of remote attestation fundamentally depends on the verifier's ability to trace the reported measurement back to the original source code - a property that can only be guaranteed through reproducible builds. In this paper, we investigate the reproducibility of TEE builds through a technical analysis of 115 TEE deployments. Our analysis spans popular TEEs such as Intel SGX, Intel TDX, and AMD SEV, and reveals that a striking 91% of those deployments were not reproducible, with 80% failing to provide both source code and a reference build, the two essential prerequisites for reproducibility. To explore the root causes, we contacted the maintainers of 50 SGX projects and managed to recruit 12 developers from industry and academia for interviews. Only one of our participants reported that reproducibility is a priority during development, effectively confirming our technical findings. Beyond technical barriers (e.g., timestamps included in the binary) that can be readily addressed, we identify broader ecosystem-level challenges, such as the lack of control over the build environment in projects involving multiple stakeholders. We argue that achieving reproducibility in TEEs requires a holistic development approach that extends beyond individual developers and calls for stronger commitments - rather than treating TEEs as a "security badge".
- Abstract（参考訳）: Trusted Execution Environments (TEEs) は現代のクラウドコンピューティングの基盤となり、コードとデータの両方に対して強力な機密性と完全性を保証する。
この信頼モデルの重要なコンポーネントはリモート検証であり、暗号化測定により、外部エンティティがTEE内で実行されるコードの信頼性と整合性を検証することができる。
しかし、リモート検査の有効性は基本的に、報告された測定結果を元のソースコード(再現可能なビルドでのみ保証できるプロパティ)に遡る検証者の能力に依存します。
本稿では,TEEビルドの再現性について,TEEデプロイメント115件の技術的分析を通して検討する。
我々の分析は、Intel SGX、Intel TDX、AMD SEVといった一般的なTEEにまたがっており、これらのデプロイメントの91%が再現不可能であり、80%はソースコードと参照ビルドの両方を提供していない。
根本原因を探るため、50のSGXプロジェクトのメンテナに連絡を取り、業界から12人の開発者を募集し、インタビューのためにアカデミックを受講しました。
参加者の1人だけが、再現性が開発中の優先事項であると報告し、技術的発見を効果的に確認しました。
対処可能な技術的な障壁(バイナリに含まれるタイムスタンプなど)以外にも、複数の利害関係者を含むプロジェクトにおけるビルド環境の制御の欠如など、より広範なエコシステムレベルの課題を特定します。
私たちは、TEEの再現性を達成するには、TEEを"セキュリティバッジ"として扱うのではなく、個々の開発者を超えて、より強力なコミットメントを求める包括的な開発アプローチが必要です。
関連論文リスト
- On Automated and Explainable Provenance of AI-Generated Code [56.818202904805446]
次世代のCodeGenAIツールは、説明可能な証明の基礎の上に構築されなければならない、と我々は主張する。
本稿では,大規模実証研究とポストホック因果・解釈可能性技術を組み合わせた研究プログラムについて述べる。
論文 参考訳（メタデータ） (2026-08-03T14:50:31Z) - Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching [14.771108131886566]
TEERepairは,TEEアプリケーションのパーティショニング問題を自動的に修復するフレームワークである。
本稿では,修復ルールをエンコードするドメイン固有言語(LLM)を導入することで,上記の課題に対処する。
次に、大型言語モデル(LLM)を活用してコンテキスト対応パッチを合成し、さらにテストクライアントを生成して修復を検証する。
論文 参考訳（メタデータ） (2026-05-21T07:27:28Z) - A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification [0.0]
我々は,Trusted Execution Environments(TEEs)における継続的プロセス検証エビデンス収集のための最初のアーキテクチャを提案する。
我々は,ソフトウェアチャネルの整合性(Tier1)からハードウェアバウンド入力(Tier3)までの段階的な入力保証を備えた,信頼反転敵に対するハードウェアベースタンパ抵抗を提供する。
我々は、TEEクラッシュ、ネットワークパーティション、エンクレーブマイグレーション間のチェーン整合性を維持するレジリエントエビデンスチェーンプロトコルを導入する。
論文 参考訳（メタデータ） (2026-02-26T20:17:52Z) - What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice [13.772042459342865]
本稿では,実世界のTEE応用に関する大規模な実証的研究について述べる。
私たちは、最も広く採用されている2つのTEE、Intel SGXとARM TrustZoneを利用するGitHubから241のオープンソースプロジェクトを分析しました。
論文 参考訳（メタデータ） (2025-12-19T09:02:58Z) - NL2Repo-Bench: Towards Long-Horizon Repository Generation Evaluation of Coding Agents [79.29376673236142]
既存のベンチマークは、完全なソフトウェアシステムを構築するのに必要な長期的能力の厳格な評価に失敗する。
符号化エージェントの長期リポジトリ生成能力を評価するために設計されたベンチマークであるNL2Repo Benchを提案する。
論文 参考訳（メタデータ） (2025-12-14T15:12:13Z) - ReliabilityRAG: Effective and Provably Robust Defense for RAG-based Web-Search [69.60882125603133]
本稿では,検索した文書の信頼性情報を明確に活用する,敵対的堅牢性のためのフレームワークであるReliabilityRAGを提案する。
我々の研究は、RAGの回収されたコーパスの腐敗に対するより効果的で確実に堅牢な防御に向けた重要な一歩である。
論文 参考訳（メタデータ） (2025-09-27T22:36:42Z) - CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection [60.52240468810558]
我々は、AI生成ピアレビューの詳細なデータセットの上に構築されたコンテンツ指向ベンチマークであるCoCoNUTSを紹介する。
また、マルチタスク学習フレームワークを介してAIレビュー検出を行うCoCoDetを開発し、レビューコンテンツにおけるAIのより正確で堅牢な検出を実現する。
論文 参考訳（メタデータ） (2025-08-28T06:03:11Z) - Predicting Abandonment of Open Source Software Projects with An Integrated Feature Framework [15.50732865972961]
オープンソースソフトウェア(OSS)は、現代のソフトウェア開発の基盤であるが、OSSプロジェクトの放棄が増加し、世界的なサプライチェーンが脅かされている。
本研究では,OSSプロジェクトの放棄を2つのアプローチで確実に検出することで,これらの課題に対処する。
この基盤の上に構築され、ユーザ中心、メンテナ中心、プロジェクトの進化的特徴をキャプチャする、放棄予測のための統合されたマルチパースペクティブな機能フレームワークを導入します。
私たちの仕事は、大規模なOSSエコシステムにおける放棄リスクを理解し管理するための再現性、拡張性、実践者指向のサポートを提供します。
論文 参考訳（メタデータ） (2025-07-29T10:45:24Z) - Thinking Longer, Not Larger: Enhancing Software Engineering Agents via Scaling Test-Time Compute [61.00662702026523]
より大規模なモデルではなく、推論時間の増加を活用する統合されたテスト時間計算スケーリングフレームワークを提案する。
当社のフレームワークには,内部TTCと外部TTCの2つの補完戦略が組み込まれている。
当社の textbf32B モデルは,DeepSeek R1 671B や OpenAI o1 など,はるかに大きなモデルを上回る 46% の課題解決率を実現している。
論文 参考訳（メタデータ） (2025-03-31T07:31:32Z) - GNN-Based Code Annotation Logic for Establishing Security Boundaries in C Code [41.10157750103835]
今日の相互接続されたソフトウェアランドスケープにおけるセンシティブなオペレーションの確保は、非常に難しいものです。
現代のプラットフォームは、セキュリティに敏感なコードをメインシステムから分離するために、Trusted Execution Environments (TEEs) に依存している。
Code Logic(CAL)は、TEE分離のためのセキュリティに敏感なコンポーネントを自動的に識別する先駆的なツールである。
論文 参考訳（メタデータ） (2024-11-18T13:40:03Z) - HasTEE+ : Confidential Cloud Computing and Analytics with Haskell [50.994023665559496]
信頼性コンピューティングは、Trusted Execution Environments(TEEs)と呼ばれる特別なハードウェア隔離ユニットを使用して、コテナントクラウドデプロイメントにおける機密コードとデータの保護を可能にする。
低レベルのC/C++ベースのツールチェーンを提供するTEEは、固有のメモリ安全性の脆弱性の影響を受けやすく、明示的で暗黙的な情報フローのリークを監視するための言語構造が欠如している。
私たちは、Haskellに埋め込まれたドメイン固有言語(cla)であるHasTEE+を使って、上記の問題に対処します。
論文 参考訳（メタデータ） (2024-01-17T00:56:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。