https://hackerpaper.kaipfister.de/p/2209.01179/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=32723542urn:hackerpapers:mention:2209.01179:32723542Mon, 05 Sep 2022 12:30:38 GMT<p>&quot;...we develop a framework for reasoning about composed speculative semantics that capture speculation due to different mechanisms and implement it as part of the Spectector verification tool. We implement novel semantics for speculating over store and return instructions and combine them with the semantics for speculating over branches. Our framework yields speculative semantics for speculating over any combination of those instructions that are secure by construction, i.e., we obtain these security guarantees for free. The implementation of our novel semantics in Spectector let us verify…</p><p><a href="https://hackerpaper.kaipfister.de/p/2209.01179/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CRhttps://news.ycombinator.com/item?id=32723541urn:hackerpapers:submission:2209.01179:32723541Mon, 05 Sep 2022 12:30:38 GMT<p>Automatic Detection of Speculative Execution Combinations</p><p></p><p>2 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2209.01179/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CR