arXiv cs.CRが2026年10月15日(現地時間)付けで、ヤン・ライネケ (Jan Reineke) 氏による論文「Foundations of Hardware-Software Leakage Contracts」を公開した。同論文は、SpectreやMeltdownといったマイクロアーキテクチャ攻撃に対処するため、ハードウェアとソフトウェアの新たな抽象化層として「ハードウェア-ソフトウェア漏洩契約 (hardware-software leakage contracts)」の基盤を論じている。このアプローチは、セキュリティを損なうサイドチャネル漏洩の特性を命令セットアーキテクチャ (ISAs) レベルで明確化する。
この論文は、キャッシュや投機的実行などのマイクロアーキテクチャ最適化が持つ、ソフトウェアから見える副作用を悪用するマイクロアーキテクチャ攻撃が、現代のシステムのセキュリティを脅かしている現状を指摘している。
プログラマは、こうした最適化のセキュリティ上の影響を考慮してハードウェアを安全に利用する必要がある。しかし、ハードウェアとソフトウェア間の従来の抽象化層である命令セットアーキテクチャ (ISAs) は、マイクロアーキテクチャの詳細を抽象化するように設計されているため、セキュリティ上の結果を反映することができない。
同論文は、この課題を解決する新しいセキュリティ抽象化として、ハードウェア-ソフトウェア漏洩契約が台頭していることを紹介する。この契約は、ISAsレベルでサイドチャネル漏洩を特徴づけることにより、プログラマやコンパイラがマイクロアーキテクチャについて明示的に推論することなく、サイドチャネル攻撃に対して耐性のあるコードを生成することを可能にする。
また、ハードウェア設計者に対しては、意図しない、かつ未文書化のサイドチャネルをマイクロアーキテクチャに導入しないことを保証するための仕様を提供する。論文では、この新しいテーマの基盤を導入し、最近の貢献と未解決の課題について議論している。
この論文は、シュプリンガー (Springer) から発行されるEngineering Trustworthy Software Systems, LNCS 16481にも収録される予定である。
参考: arXiv cs.CR — 2026年10月16日 13:00 (JST)
原文ハイライト"Microarchitectural attacks such as Spectre and Meltdown undermine security by exploiting software-visible side effects"