该论文针对现代CPU微架构侧信道泄露信息的安全问题，提出了一种自动提取指令级泄露契约的方法。泄露契约是一种ISA级别的安全抽象，为安全CPU编程提供基础。由于当前微架构的复杂性，手动设计泄露契约需要大量人工工作，因此现代CPU缺乏专用的泄露契约。作者提出了一种最小人工干预的方法，为x86和ARM等主流CPU架构提取指令级泄露契约，并实现了首个无模板自动合成工具malcos。实验表明，malcos合成的契约在合成过程中观察到的泄露方面是精确和可靠的，证明了从黑盒CPU学习泄露契约的可行性。该方法的关键在于无需CPU内部设计细节，仅通过黑盒观察即可自动生成安全契约。