TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

CheckMate: Verifying processors through automatic exploit synthesis [pdf]

1 pointsby dwrodriover 5 years ago

1 comment

dwrodriover 5 years ago
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.