12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.CR2018
When a Patch is Not Enough - HardFails: Software-Exploitable Hardware Bugs
Ghada Dessouky, David Gens, Patrick Haney +6
In this paper, we take a deep dive into microarchitectural security from a hardware designer's perspective by reviewing the existing approaches to detect hardware vulnerabilities d…
cs.CR2017★ 12 cited
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries
Gorka Irazoqui, Kai Cong, Xiaofei Guo +4
This work presents a new tool to verify the correctness of cryptographic implementations with respect to cache attacks. Our methodology discovers vulnerabilities that are hard to f…