research
∙
03/09/2020
RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification
Modern SoCs are heterogeneous parallel systems comprised of components d...
share
research
∙
02/11/2018
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
The recent Meltdown and Spectre attacks highlight the importance of auto...
research
∙
08/26/2016