Dr. Wenhao Wang is an associate professor at Institute of Information Engineering (IIE), CAS. His research interests now focus on protecting user privacy data with the help of hardware features, such as Intel SGX, as well as cryptographic techniques (e.g., homomorphic encryption). Ongoing projects also include designing new hardware based TEEs (trusted execution environments) to support large scale data processing. Dr. Wenhao Wang was a visiting scholar of Prof. XiaoFeng Wang’s group in Indiana University Bloomington from April 2016 to August 2018, during which he worked closely with Prof. Wang and Prof. Haixu Tang in organizing the Genomic data privacy and security protection competition. Please find the cv here: in English, 中文.
Please send an email to wangwenhao@iie.ac.cn if you would like to join the group. Students with interests in topics related to operating system/software/virtualization/hardware-assisted security/TEE/privacy preserving technologies/microarchitectural side channels etc., are all welcome.
[Nov. 2023] A new paper is (conditionally) accepted to ASPLOS 2024. We propose MIRVerif, a framework for reasoning about idiomatic Rust in Coq, and use it to formally verify the correctness of the memory subsystem of HyperEnclave.
[Oct. 2023] A new paper on side channel attacks is accepted to HPCA 2024. SegScope can be used to probe interrupts without relying on any timers.
[Sept. 2023] A new paper on rowhammer attacks on gray-box DNNs is accepted to USENIX Security 2024.
[Aug. 2023] A new paper on iOS side channel analysis is accepted to ACM CCS 2023.
Last updated: 2024/3/15.
Powered by Jekyll and Minimal Light theme. Unique visitors: