12 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.SE2019★ 2 cited
Hardware/Software Co-monitoring
Li Lei, Kai Cong, Zhenkun Yang +2
Hardware/Software (HW/SW) interfaces, mostly implemented as devices and device drivers, are pervasive in various computer systems. Nowadays HW/SW interfaces typically undergo inten…
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…
cs.AR2016
OpenRISC System-on-Chip Design Emulation
Kai Cong, Li Lei, Zhenkun Yang +1
Recently the hardware emulation technique has emerged as a promising approach to accelerating hardware verification/debugging process. To fully evaluate the powerfulness of the emu…