Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees

Published in 53rd International Symposium on Computer Architecture (ISCA 2026), 2026