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