AISurfingShort, clear updates with the original source one click away
← Back to brief
Research→Official→Preprint→arXiv Cryptography and Security

Automated Synthesis of Leakage Contracts for Black-Box CPUs

Jul 17, 2026

Researchers have developed a methodology to automatically extract instruction-centric leakage contracts for major CPU architectures, implemented in the tool malcos. The approach is evaluated on x86 and ARM CPUs, demonstrating that the synthesized contracts are precise and sound with respect to observed microarchitectural leaks.

Why it matters: Automating the creation of leakage contracts can significantly reduce manual effort in securing CPUs against microarchitectural side-channel attacks.

Full story at: arXiv Cryptography and Security ↗

Related coverage

Multi-Agent Debate Does Not Outperform Single-Pass AI Feedback on Research Papers, Study FindsStructureClaw: Traceable LLM Agents and Executable Benchmark for Structural Engineering WorkflowsContrastive Policy Optimization Improves RL with Verifiable Rewards