I am Dave, a Ph.D. student in the department of Computer & Information Science & Engineering (CISE) at the University of Florida. I am a founding member of FICS (Florida Institute for Cybersecurity) Research. My research involves system infrastructure, security and storage. I am interested in Linux kernel hacking, compilers and machine learning stuffs. I also play guitars though not professionally when I am tired of coding:)
- 117,937 hits
All blogs on this website are licensed under a Creative Commons Attribution 4.0 International License.
Tag Archives: sgx
Intel SGX has been there in the market for while. Yet there are still a lot of misundrestandings and mysteries about this technology. This post provides an introduction to Intel SGX OwnerEpoch and Sealing, discusses their security impacts, and speculates … Continue reading
SGX sealing is vulnerable to rollback attacks as the enclave is not able to tell if the sealed data is the latest or a old copy. To mitigate this attack, monotonic counter (MC) has been introduced in Intel SGX SDK … Continue reading