TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

CheckMate: Verifying processors through automatic exploit synthesis [pdf]

1 点作者 dwrodri超过 5 年前

1 comment

dwrodri超过 5 年前
Quick clarification: I am not an author of this paper, I just found it while doing literature review and thought it was worth sharing, as its probably similar to what is done in industry to prevent future designs from being vulnerable to Spectre&#x2F;Meltdown-type attacks.<p>Dr. Trippel&#x27;s work over the course of her doctorate has also helped improve security in the RISC-V ISA by contributing to the atomics extensions.