zknews

trending3

tag: microarchitecture ✕

01▲
Characterizing the Variance Envelope: A Multi-Dimensional Analysis of Spectre Telemetry Across Architectures and Workloads arxiv.org
Spectre HPC signatures are annoyingly brittle across Intel, ARM, and AMD, so the paper argues for adaptive detectors.
arxiv cryptanalysis hardware-attacks microarchitecture privacy security side-channel spectre
0 pts/deadlock/9 hours ago/2 comments
02▲
ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM arxiv.org
Detects stealthy branch-predictor attacks in BOOM at RTL with an embedded rule monitor, claiming zero false positives.
arxiv cryptanalysis hardware-security microarchitecture privacy risc-v side-channels
0 pts/jonasdunn/6 days ago/1 comment
03▲
Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts arxiv.org
Granite is a paper on modular leakage-contract proofs for RTL CPUs, with speculation and interrupts, because side channels were too easy.
arxiv confidentiality constant-time formal-verification hardware-security isa leakage microarchitecture rtl side-channel
0 pts/kzima/17 days ago/discuss