A Formal Approach to Secure Speculation [pdf]eprint.iacr.org3 points·lainon··0 commentsOpen articleSaveView on HN