技術研究　arXiv AI Security　2026-10-16 13:00

投機実行の漏洩を扱う HW-SW契約の基礎理論

原題　Foundations of Hardware-Software Leakage Contracts

SpectreやMeltdownのようなマイクロアーキテクチャ攻撃を、ハードとソフトの間の「漏洩契約」として形式的に整理するarXiv論文。キャッシュや投機実行が生む副作用を扱う。

論点

CPUの速さと安全はもう両立しないのか

みんなの立場0票

賛成0%0票

反対0%0票

どちらでもない0%0票

まだ投票はありません。あなたはどう思う？

議論のヒントを見る

賛成側の視点

投機実行は本質的に漏れる。速さを少し捨てない限り同じ事故が続く。

反対側の視点

契約で漏洩を明示すれば両立できる。性能を捨てる議論は思考停止だ。