41 citations · 43 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.CR2018★ 41 cited
Integrating Remote Attestation with Transport Layer Security
Thomas Knauth, Michael Steiner, Somnath Chakrabarti +3
Intel(R) Software Guard Extensions (Intel(R) SGX) is a promising technology to securely process information in otherwise untrusted environments. An important aspect of Intel SGX is…
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…