論文の概要: Zirah: A Post-Quantum True Random Number Generator Hardware Signer With an Avalanche Noise
- arxiv url: http://arxiv.org/abs/2611.08200v1
- Date: Thu, 05 Nov 2026 15:54:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-07 04:55:13.567777
- Title: Zirah: A Post-Quantum True Random Number Generator Hardware Signer With an Avalanche Noise
- Title(参考訳): Zirah:アバランシェノイズ付きポスト量子乱数発生器ハードウェアシグナー
- Abstract要約: Zirahは、STM32F407マイクロコントローラを中心に開発されたハードウェアシグナである。
その目的は、安価なハードウェア上で、量子後署名キーが露出し、それを保護するものを見つけることである。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Zirah is a hardware signer built around an STM32F407 microcontroller, and its purpose is to find out, on inexpensive hardware, where a post-quantum signing key is exposed and what actually protects it. The device draws every random bit from a reverse-biased 2N3904 junction in avalanche breakdown, amplified by an LM358 and screened by SP 800-90B health tests, computes ML-DSA-65 (FIPS 204, hedged) on the STM32 with two-share arithmetic masking of the secret-key multiplications, and adds ECDSA P-256 from an ATECC608 secure element over the same digest, once a person has matched an eight-digit digest prefix on its OLED with the PC and pressed a button. A desktop application and a command-line tool drive the board and verify its output, and because only a 32-byte manifest digest reaches the device, it signs files of any type and size, returning signed copies for PDF, Office Open XML, ZIP, PNG and JPEG files and detached records for every other format. NIST's SP 800-90B tool rejected the IID assumption for 1,000,000 raw samples and assessed 6.898 bits of min-entropy per byte on the non-IID track, against the 1 bit the firmware credits, while spectral lines near 116 Hz that hold about 5 % of the variance remain unexplained. At 168 MHz the masked signature took a median of 157 ms over 20 runs and a complete signing operation under 0.8 s, and the signer matched the pq-crystals reference in 1,976 checks natively and on an emulated Cortex-M4. The ATECC608 can neither store the 4,032-byte ML-DSA-65 key nor compute with it, so that key sits in ordinary flash behind readout protection, and on an earlier board, before that protection was enabled, a debugger copied it out and the copy produced a valid ML-DSA-65 signature without the device, although the leakage results come from an instruction-level emulator and nothing here is certified.
- Abstract(参考訳): Zirahは、STM32F407マイクロコントローラを中心に構築されたハードウェアシグナーで、安価なハードウェア上で、量子後署名キーが露出し、実際に何を保護するかを見つけることを目的としている。
STM32のML-DSA-65(FIPS 204, hedged)を計算し、秘密鍵の乗算を二桁の算術マスクで計算し、同じダイジェスト上にATECC608のセキュアな要素からECDSA P-256を付加する。
デスクトップアプリケーションとコマンドラインツールがボードを駆動し、その出力を検証する。32バイトのマニフェストダイジェストしかデバイスに届かないため、どんなタイプとサイズのファイルにも署名し、PDF、Office Open XML、ZIP、PNG、JPEGファイルの署名されたコピーを返却し、他のフォーマットのレコードを削除します。
NISTのSP 800-90Bツールは、1000,000のサンプルに対するIDIの仮定を拒否し、非IIDトラック上の6.898ビットのミンエントロピーをファームウェアクレジットの1ビットに対して評価した。
168MHzでは、マスク付きシグネチャは20回のランで157ms、0.8秒以下で完全なシグネチャ操作を行い、シグネチャは1,976回のチェックとエミュレートされたCortex-M4でpq-crystals参照と一致した。
ATECC608は4,032バイトのML-DSA-65キーを格納も計算もできないため、キーはリードアウト保護の裏側にある通常のフラッシュに置かれ、以前のボードでは、その保護が有効になる前にデバッガがそれをコピーし、コピーはデバイスなしで有効なML-DSA-65シグネチャを生成する。
関連論文リスト
- Signed but Steerable: Measuring and Closing the Text-Vector Integrity Gap in Offline Retrieval-Augmented Generation [45.88028371034407]
ベクトルを再計算してコサイントレランス内で受け入れる検証器は、予測可能なクエリの共有を攻撃者に譲る。
ローカル言語モデルを実行するRaspberry Pi 5では、このような攻撃は正しい回答を0.75から0.39に下げる。
一般的な浮動小数点および動的INT8推論パイプラインは、バッチサイズやアーキテクチャでビット再生可能であることを示す。
論文 参考訳(メタデータ) (2026-11-04T13:32:04Z) - EMG Tokenization Preserves Movement Information at a Fraction of the Bitrate [37.31373989245858]
コンパクトなEMGトークンは、手動復号のための情報を保持しながらペイロードを大幅に削減することを示す。
格納されたトークン配列は、生のEMGに対して41倍のペイロードを削減し、SPARの連続的な特徴に対して36倍のペイロードを削減した。
これらの知見は、ウェアラブルセンシングと運動復号とのコンパクトなインターフェースとしてトークン化を支援する。
論文 参考訳(メタデータ) (2026-10-23T14:15:09Z) - What You Sign Is Not What You Run: The Verifiability Gap in Quantized LLM Supply Chains [0.6159133786557903]
Independent Verifiability Rate (IVR)は、サードパーティがビット・フォー・ビットを導出できる人気サンプルGGUFエコシステムのごく一部である。
E は必要座標であり、一方のコンパイラ設定は、テスト対象のプラットフォームに対して、無視できる品質のコストで独自の出力を出力することを示す。
論文 参考訳(メタデータ) (2026-10-14T03:16:29Z) - CASHEWS: Source Preprocessor for LLM-based Malicious Package Detection [41.27475849408484]
悪意のあるnpmパッケージ検出ツールは、ソースコードの意味的理解を利用して、大規模に悪意のあるインテントを検出する。
この機能は、Shai-Huludのような最近のサプライチェーン攻撃に関わるパッケージを特定する上で、非常に有益であることが証明されている。
CASHEWSはJavaScriptプリプロセッサで、ソースコードを書き換えてファイルサイズを減らし、解析に無関係なコードを削除する。
論文 参考訳(メタデータ) (2026-09-16T16:00:58Z) - Agent-Driven Verification of Memory Safety for liblzma Decoder Components with VST [32.505127447635864]
Liblzmaのデコーダコンポーネントのメモリ安全性の検証について報告する。
検証の結果、生のLZMA1ゼロインプット処理における未定義の動作が明らかになった。
検証済みコードを合成する類似の作業とは異なり、既存のプロダクションスケールCを検証する。
論文 参考訳(メタデータ) (2026-08-30T10:50:56Z) - Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices [1.2763567932588586]
大規模な言語モデルは、モデルコンテキストプロトコル(MCP)を介して、外部ツールのオーケストレータとしてますます使われています。
最近の作業(IoT-MCP)では、MCPを74KBのピークメモリでエッジゲートウェイに移植している。
本稿では,DCP(Device Context Protocol)を提案する。DCP(Device Context Protocol)は,機能スコープ,範囲および型チェック,ドライラン評価,およびユニット・アズ・タイプがプロトコル層プリミティブであるマニフェストスキーマである。
論文 参考訳(メタデータ) (2026-05-24T12:37:19Z) - Benchmarking Post-Quantum Cryptography on Resource-Constrained IoT Devices: ML-KEM and ML-DSA on ARM Cortex-M0+ [0.0]
本稿では,ARM Cortex-M0+プロセッサ上でML-KEMとML-DSAを分離したアルゴリズムレベルベンチマークを提案する。
PQClean参照Cの実装を用いて、キー生成、カプセル化/署名、カプセル化/検証の3つのセキュリティレベルをすべて計測する。
すべてのコード、データ、スクリプトは、開発者のためのオープンソースのベンチマークスイートとしてリリースされている。
論文 参考訳(メタデータ) (2026-03-19T11:27:29Z) - Detecting Hardware Trojans in Microprocessors via Hardware Error Correction Code-based Modules [49.1574468325115]
ハードウェアトロイの木馬(HT)は、攻撃者が無許可のソフトウェアを実行したり、特権操作に不正にアクセスしたりすることができる。
RISC-Vマイクロプロセッサ上のエラー訂正符号(ECC)を用いて,ランタイムHTアクティベーションを検出するハードウェアベースの手法を紹介する。
論文 参考訳(メタデータ) (2025-06-18T12:37:14Z) - BaseMirror: Automatic Reverse Engineering of Baseband Commands from Android's Radio Interface Layer [34.9710368289623]
本稿では,独特な観点から,ベースバンドのセキュリティ問題を明らかにするための新しいアプローチを提案する。
私たちは、ベンダー固有のRILバイナリからベースバンドコマンドを自動的にリバースする静的バイナリ解析ツールBaseMirrorを設計、開発しました。
当社の手法は28のベンダーRILライブラリに適用され,Samsung Exynosのスマートフォンモデルが市場に出回っている。
論文 参考訳(メタデータ) (2024-08-31T15:14:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。