12 citations · 12 across the 1 of their papers we have counts for
1 paper
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…