3 ms·New Models for Understanding and Reasoning about Speculative Execution Attacks2 points by gbrown_ 6y ago