論文の概要: FreeSBee: A Constant-Time Compilation Pipeline

• arxiv url: http://arxiv.org/abs/2610.20171v1
• Date: Wed, 14 Oct 2026 13:20:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-15 21:06:16.170313
• Title: FreeSBee: A Constant-Time Compilation Pipeline
• Title（参考訳）: FreeSBee: 一定時間コンパイルパイプライン
• Abstract要約: コンパイル中のタイミング側チャネルに対するハードニングのための完全なワークフローを提示し、評価する。 センシティブな情報に依存するコードの位置を決定するために、テナント分析から始める。 我々は,静的タイミング解析と統計的手法の両方を用いて,RISC-Vコア上で動作する現実的なアプリケーションについて,我々のワークフローを詳細に評価する。
• 参考スコア（独自算出の注目度）: 0.20524609401792396
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: Constant-time execution is an important security property, especially for IoT devices, that prevents the leakage of sensitive information over timing side-channels. However, achieving constant-time execution is very hard when going down to the cycle level, at least on realistic devices. A lot of research is concerned with producing tools that either determine whether code is constant-time or that ensure it is compiled into a constant-time binary, with various degrees of accuracy. In this work, we present and evaluate a full workflow for hardening against timing side-channels during compilation. It starts with taint analysis to determine the code locations that depend on sensitive information. These are then the object of automated control-flow transformations inside the compiler to seal possible timing side-channels. We evaluate our workflow in detail on a realistic application running on a RISC-V core using both static timing analysis and statistical methods. Even though we do not reach cycle-accurate constant-time execution, our statistical results suggest that our hardened binary is safe against timing attacks.
• Abstract（参考訳）: 定時実行は、特にIoTデバイスにおいて重要なセキュリティ特性であり、タイミング側チャネル上の機密情報の漏洩を防止する。 しかし、少なくとも現実的なデバイスでは、サイクルレベルまで下がれば、一定の時間実行を達成することは非常に難しい。 多くの研究は、コードが一定時間かどうかを判断するか、あるいは、様々な精度で、一定時間バイナリにコンパイルされることを保証するツールの開発に関係している。 本研究では,コンパイル中のタイミング側チャネルに対するハードニングのための完全なワークフローを提示し,評価する。 センシティブな情報に依存するコードの位置を決定するために、テナント分析から始める。 そして、これらはコンパイラ内の自動制御フロー変換のオブジェクトであり、可能なタイミング側チャネルをシールする。 我々は,静的タイミング解析と統計的手法の両方を用いて,RISC-Vコア上で動作する現実的なアプリケーションについて,我々のワークフローを詳細に評価する。 サイクル精度の一定時間実行には至らないが, 統計的結果は, 強化されたバイナリがタイミング攻撃に対して安全であることを示唆している。

関連論文リスト

• PeakBench: Benchmarking Resource-Aware Tool Invocation in LLM Agents [79.28372522980153]
  PeakBenchは、実行可能なマルチツール依存アノテーションと測定リソースプロファイルのベンチマークである。 我々は,強い論理的計画が資源制約下での安全あるいは効率的な実行に確実に変換されないことを示す。 PeakBenchは、リソース認識エージェントの振る舞いの診断に有用なテストベッドである。
  論文  参考訳（メタデータ） (2026-08-25T12:56:08Z)
• DISARM: Target Electronic Device Informed Mitigation of Software Runtime Side-Channel Vulnerabilities [2.537406035246369]
  プログラム実行時またはタイミング攻撃は、プログラムの実行時間の変化を利用して機密情報を抽出する。 本研究では,実行時側チャネル脆弱性の軽減を目的としたハードウェアとソフトウェアの共同手法であるdisARMを提案する。 私たちは、C、C++、Javaのソースコードをサポートし、22の標準ベンチマークでそれを検証するためにDIARMを実装しています。
  論文  参考訳（メタデータ） (2026-06-18T05:22:38Z)
• Harnessing Generalist Agents for Contextualized Time Series [67.28481985993467]
  時系列はしばしば、全体モデリングに不可欠なリッチな文脈に埋め込まれる。 本稿では時系列のエージェントハーネスフレームワークであるTimeClawを紹介する。 TimeClawは、グラウンドドと監査可能な分析のための実行可能な時間的ツール、再利用可能な分析ルーチンを作成するためのエクスペリエンス駆動機能進化、関連する推論トレースを取得するためのエピソードマルチモーダルメモリを統合している。
  論文  参考訳（メタデータ） (2026-06-03T20:20:34Z)
• SeClaw: Spec-Driven Security Task Synthesis for Evaluating Autonomous Agents [87.26967184869198]
  SeClawは、仕様駆動のセキュリティタスク合成と、自律エージェントの実行ベースのセキュリティ評価を組み合わせたフレームワークである。 ベンチマークは、リソース、ユーザタスク、環境、本質的なエージェントの振る舞いから生じるリスクをカバーしている。
  論文  参考訳（メタデータ） (2026-06-01T14:23:42Z)
• SWE-Cycle: Benchmarking Code Agents across the Complete Issue Resolution Cycle [46.833916047516716]
  SWE-Cycleは、489の厳格な自動コードエージェントのインスタンスのベンチマークである。 SWE-Judgeは静的コードレビューと動的テストを組み合わせて機能的正当性を正確に検証する。 その結果、分離されたタスクからFullCycle実行に移行する際の解決率の急落が明らかになった。
  論文  参考訳（メタデータ） (2026-05-13T08:05:16Z)
• DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification [0.08749675983608168]
  低レベルの実行トレースの動的解析に基づく定数時間プログラムの検証手法を提案する。 我々は,DALC-CTというオープンソースのツールを開発し,この手法を用いてプログラムの一定時間検証を行った。
  論文  参考訳（メタデータ） (2026-04-18T04:47:54Z)
• Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned [2.4508658326953108]
  我々は、広く使われている定時分析ツールの構成、実行、結果分析を自動化するツールチェーンを開発した。 合計26の問題を各開発者に報告し、そのうち5つはすでに修正済みです。
  論文  参考訳（メタデータ） (2025-09-04T08:41:06Z)
• Training Language Models to Generate Quality Code with Program Analysis Feedback [66.0854002147103]
  大規模言語モデル(LLM)によるコード生成は、ますます本番環境で採用されているが、コード品質の保証には失敗している。 実運用品質のコードを生成するためにLLMにインセンティブを与える強化学習フレームワークであるREALを提案する。
  論文  参考訳（メタデータ） (2025-05-28T17:57:47Z)
• Towards Efficient Verification of Constant-Time Cryptographic Implementations [5.433710892250037]
  一定時間プログラミングの規律は、タイミングサイドチャネル攻撃に対する効果的なソフトウェアベースの対策である。 本研究では, テナント解析の新たな相乗効果と自己構成プログラムの安全性検証に基づく実用的検証手法を提案する。 当社のアプローチはクロスプラットフォームで完全に自動化されたCT-Proverとして実装されている。
  論文  参考訳（メタデータ） (2024-02-21T03:39:14Z)
• Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond [2.803675461772196]
  本稿ではJITスタイルのWasmtimeをベースとした新しいコンパイラ検証スイートを提案する。 また、ct-wasmをターゲットに、既存の定時対応DSLである FaCT のポートも提示する。
  論文  参考訳（メタデータ） (2023-11-24T01:38:19Z)
• Towards Streaming Perception [70.68520310095155]
  本稿では、リアルタイムオンライン知覚のための単一のメトリクスにレイテンシと精度を協調的に統合するアプローチを提案する。 この指標の背後にある重要な洞察は、瞬間ごとに認識スタック全体の出力を共同で評価することである。 本稿では,都市ビデオストリームにおけるオブジェクト検出とインスタンスセグメンテーションの具体的タスクに注目し,高品質で時間依存的なアノテーションを備えた新しいデータセットを寄贈する。
  論文  参考訳（メタデータ） (2020-05-21T01:51:35Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。