論文の概要: MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M
- arxiv url: http://arxiv.org/abs/2609.12580v1
- Date: Fri, 11 Sep 2026 08:34:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-15 07:38:31.683362
- Title: MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M
- Title（参考訳）: MicroHasTEE: Armv8-Mのタイプレベル周辺オーナシップのためのベアメタルHaskell
- Abstract要約: MicroHasTEEは、ファームウェアアプリケーションを1つの型付きHaskellプログラムの参加者として表現する。
MicroHasTEEは、タイプレベルの機能台帳を持つ周辺権威を表す。
MicroHsは2回コンパイルして、未登録のSecureとNon-Secureのファームウェアイメージを別々に生成する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Arm TrustZone for Armv8-M isolates Secure and Non-secure software, but developers must still coordinate peripheral attribution, interrupt routing, initialization, and gateway interfaces across separately built firmware images. Inconsistent assumptions between these images can compile successfully and emerge only as faults on the target device. We present MicroHasTEE, a multiparty programming framework that expresses both firmware applications as participants in one typed Haskell program. MicroHasTEE represents peripheral authority with type-level capability ledgers and uses indexed setup computations to track resource acquisition, configuration, transfer, and finalization. Domain-specific effect types restrict peripheral operations and interrupt callbacks to the participant that holds the corresponding authority, while typed callable handles describe the Secure services available to Non-secure code. MicroHs compiles the shared program twice to produce separate bare-metal Secure and Non-secure firmware images. We implement MicroHasTEE for an STM32U5 Nucleo board, including TrustZone configuration, peripheral drivers, and a serialized gateway for cross-domain Haskell calls. For programs expressed through its interface, MicroHasTEE rejects inconsistent resource use, attribution changes after configuration, callbacks in the wrong domain, and calls to unregistered Secure services. A door-lock case study demonstrates feasibility, with firmware images occupying 232.7 KiB and 228.4 KiB of flash and approximately 220 KiB of SRAM per domain.
- Abstract（参考訳）: Arm TrustZone for Armv8-MはSecureおよびNon-Secureソフトウェアを分離するが、開発者はいまだに、個別に構築されたファームウェアイメージ間の周辺属性、ルーティングの中断、初期化、ゲートウェイインターフェースを調整する必要がある。
これらの画像間の一貫性のない仮定は、正常にコンパイルされ、ターゲットデバイス上の障害としてのみ現れる。
マルチパーティプログラミングフレームワークであるMicroHasTEEは,ファームウェアアプリケーションを1つの型付きHaskellプログラムの参加者として表現する。
MicroHasTEEは、インデクシングされたセットアップ計算を使用して、リソースの取得、設定、転送、ファイナライゼーションを追跡する。
ドメイン固有のエフェクトタイプは、周辺操作を制限し、対応する権限を持つ参加者へのコールバックを中断する。
MicroHsは共有プログラムを2回コンパイルし、ベアメタルのSecureとNon-Secureのファームウェアイメージを別々に生成する。
我々はSTM32U5のNucleoボードにMicroHasTEEを実装し、TrustZoneの設定、周辺ドライバ、およびクロスドメインHaskell呼び出しのためのシリアライズされたゲートウェイを含む。
MicroHasTEEはインターフェースを通じて表現されたプログラムに対して、一貫性のないリソースの使用、設定後の属性変更、間違ったドメインでのコールバック、登録されていないセキュアサービスへの呼び出しを拒否する。
ドアロックケーススタディでは、ファームウェアイメージがフラッシュの232.7 KiBと228.4 KiB、ドメインあたりのSRAMの約220 KiBを占有し、実現可能性を示している。
関連論文リスト
- Reactive Peripheral Modeling for Faithful Firmware Rehosting [46.071436745445]
リアクティブ周辺モデリング(Reactive Peripheral Modeling, RPM)は、ハードウェア周辺をリアクティブでステートフルなシステムとしてモデル化する抽象化である。
我々は、BLEファームウェアの再ホストとファジィのためのBluezzにRPMを実装し、より深いプロトコル状態に到達するためには、リアクティブモデリングが必要であることを示す。
Bluezzは、従来の最先端のリホスト方式の2.6倍以上の基本的なブロック範囲を達成している。
論文 参考訳（メタデータ） (2026-08-30T11:54:37Z) - LMSM: LLM Security Framework Inspired by Linux Security Modules [56.93644694627783]
大規模言語モデル(LLM)は階層化されたディフェンスでデプロイされることが多いが、悪意のあるプロンプトはそれらをバイパスすることができる。
我々は,Language Model Security Modules (LMSM) という,Linux Security Modules (LSM) の背後にある分離を LLM サービスに適応させるセキュリティフレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-26T12:13:05Z) - SABLE: Minimalist Instruction-Level Authenticated Encryption for Constrained Confidential Computing [3.0128599957899858]
本稿では,命令レベル認証によるプログラムの暗号化を可能にするRISC-Vプロセッサアーキテクチャの設計について述べる。
SABLEは基盤となるマイクロアーキテクチャには依存せず、標準のRISC-Vツールと互換性がある。
我々は,Xilinx Artix-7 FPGA 上で ASCON-128a を用いて,オープンソースの NEORV32 システムをチップ上で実装・評価する。
論文 参考訳（メタデータ） (2026-07-18T11:12:28Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - 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) - Internal Safety Collapse in Frontier Large Language Models [65.00730294617382]
この研究は、フロンティア大言語モデル(LLM)における重要な障害モードを特定する。
特定のタスク条件下では、モデルは有害なコンテンツを連続的に生成し、そうでなければ良質なタスクを実行する状態に入る。
有害なコンテンツを生成することが唯一有効な完了であるドメインタスクを通じてISCをトリガーするフレームワークであるTVDを紹介する。
論文 参考訳（メタデータ） (2026-03-04T12:55:34Z) - Detecting Hardware Trojans in Microprocessors via Hardware Error Correction Code-based Modules [49.1574468325115]
ハードウェアトロイの木馬(HT)は、攻撃者が無許可のソフトウェアを実行したり、特権操作に不正にアクセスしたりすることができる。
RISC-Vマイクロプロセッサ上のエラー訂正符号(ECC)を用いて,ランタイムHTアクティベーションを検出するハードウェアベースの手法を紹介する。
論文 参考訳（メタデータ） (2025-06-18T12:37:14Z) - 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) - AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis [14.623460803437057]
AIMは汎用的でスケーラブルで、ハードウェアに依存しない動的ファームウェア分析フレームワークである。
AIMは、ファームウェアにおける割り込み依存コードを、新しい、ファームウェア誘導のジャスト・イン・タイム・イン・タイム・イン・タイム・インターファイリング技術によってカバーする。
私たちのフレームワークは、最先端のアプローチよりも11.2倍の割り込み依存のコードをカバーしています。
論文 参考訳（メタデータ） (2023-12-02T18:06:22Z) - Abusing Processor Exception for General Binary Instrumentation on Bare-metal Embedded Devices [11.520387655426521]
PIFER (Practical Instrumenting Framework for Embedded fiRmware) は、組み込みベアメタルファームウェアに対して、汎用的できめ細かな静的バイナリーインスツルメンテーションを可能にする。
本稿では,修正後のファームウェアの正しい実行を保証するための命令翻訳方式を提案する。
論文 参考訳（メタデータ） (2023-11-28T05:32:20Z) - Capacity: Cryptographically-Enforced In-Process Capabilities for Modern ARM Architectures (Extended Version) [1.2687030176231846]
Capacityは、機能ベースのセキュリティ原則を取り入れた、ハードウェア支援のプロセス内アクセス制御設計である。
独自のPAキーで認証されたプロセス内ドメインにより、Capacityはファイル記述子とメモリポインタを暗号化された参照に変換する。
Capacity対応のNGINX Webサーバプロトタイプや他の、機密性の高いリソースをさまざまなドメインに分離する一般的なアプリケーションを評価します。
論文 参考訳（メタデータ） (2023-09-20T08:57:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。