Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors.
该论文针对开源 RISC-V 处理器中微架构侧信道的信息泄露问题，提出了一种自动化合成泄漏合约（leakage contracts）的方法。泄漏合约是近期提出的、用于指令集架构（ISA）层面的安全抽象，旨在精确刻画处理器通过微架构侧信道可能
#leakage-contract
共收录 2 条相关情报。
← 返回所有主题Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
该论文针对现代CPU微架构侧信道泄露信息的安全问题，提出了一种自动提取指令级泄露契约的方法。泄露契约是一种ISA级别的安全抽象，为安全CPU编程提供基础。由于当前微架构的复杂性，手动设计泄露契约需要大量人工工作，因此现代CPU缺乏专用的泄露