avatar

Wenhao Wang

Associate Professor
Institute of Information Engineering, CAS
wangwenhao (at) iie.ac.cn


Biography

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.

News

letter [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.
letter [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.
letter [Sept. 2023] A new paper on rowhammer attacks on gray-box DNNs is accepted to USENIX Security 2024.
letter [Aug. 2023] A new paper on iOS side channel analysis is accepted to ACM CCS 2023.

Selected Publications (Full list: Google Scholar)

* Corresponding authors, [ ] Equal Contributions, Advised by me

    0 1 2 3 4 0 1 5 6 2 3 7 8 9 10 11 12 13 4 14 15 16 5
  1. ICDE
    Qingxiu Liu, Qun Huang*, Xiang Chen, Sa Wang, Wenhao Wang, Shujie Han, Patrick P. C. Lee
    40th IEEE International Conference on Data Engineering (ICDE 2024) (CCF-A)
  2. ASPLOS
    Zhenyang Dai, Shuang Liu, Vilhelm Sjoberg*, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan*, Ronghui Gu, Zhengyu He
    International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024) (CCF-A)
  3. HPCA
    [Xin Zhang, Zhi Zhang], Qingni Shen*, Wenhao Wang, Yansong Gao, Zhuoxi Yang, Jiliang Zhang
    30th IEEE International Symposium on High-Performance Computer Architecture (HPCA 2024) (CCF-A)
  4. Security
    Zihao Wang, Di Tang*, XiaoFeng Wang, Wei He, Zhaoyang Geng, Wenhao Wang*
    USENIX Security 2024 (CCF-A)
  5. CCS
    [Zihao Wang, Jiale Guan], XiaoFeng Wang, Wenhao Wang, Luyi Xing, Fares Alharbi
    ACM Conference on Computer and Communications Security (ACM CCS 2023) (CCF-A)
  6. TC
    [Wei He, Zhi Zhang], Yueqiang Cheng, Wenhao Wang*, Wei Song, Yansong Gao, Qifei Zhang, Kang Li, Dongxi Liu, Surya Nepal
    IEEE Transactions on Computers (TC) (CCF-A)
  7. TDSC
    [Zhi Zhang, Wei He], Yueqiang Cheng, Wenhao Wang, Yansong Gao*, Dongxi Liu, Kang Li, Surya Nepal, Anmin Fu, Yi Zou
    IEEE Transactions on Dependable and Secure Computing (TDSC) (CCF-A)
  8. ATC
    Yuekai Jia, Shuang Liu, Wenhao Wang*, Yu Chen, Zhengde Zhai, Shoumeng Yan, Zhengyu He
    2022 USENIX Annual Technical Conference (USENIX ATC) (CCF-A)
  9. ATC
    [Zhi Zhang, Yueqiang Cheng], Minghua Wang, Wei He, Wenhao Wang*, Nepal Surya, Yansong Gao, Kang Li, Zhe Wang, Chenggang Wu
    2022 USENIX Annual Technical Conference (USENIX ATC) (CCF-A)
  10. TDSC
    Wenhao Wang*, Weijie Liu, Hongbo Chen, XiaoFeng Wang, Hongliang Tian, Dongdai Lin
    IEEE Transactions on Dependable and Secure Computing (TDSC) (CCF-A)
  11. TIFS
    [Zhi Zhang, Wei He], Yueqiang Cheng, Wenhao Wang, Yansong Gao*, Minghua Wang, Kang Li, Surya Nepal, Yang Xiang
    IEEE Transactions on Information Forensics and Security (TIFS) (CCF-A)
  12. DSN
    Weijie Liu, Wenhao Wang*, Hongbo Chen, XiaoFeng Wang*, Yaosong Lu, Kai Chen, Xinyu Wang, Qingtao Shen, Yi Chen, Haixu Tang
    51st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2021) (CCF-B)
  13. S&P
    Wei Song, Boya Li, Zihan Xue, Zhenzhen Li, Wenhao Wang, Peng Liu
    2021 IEEE Symposium on Security and Privacy (S&P) (CCF-A)
  14. S&P
    Jianping Zhu, Rui Hou*, XiaoFeng Wang*, Wenhao Wang, Jiangfeng Cao, Boyan Zhao, Zhongpu Wang, Yuhui Zhang, Jiameng Ying, Lixin Zhang, Dan Meng
    2020 IEEE Symposium on Security and Privacy (S&P) (CCF-A)
  15. TCHES
    Tianlin Huo, Xiaoni Meng, Wenhao Wang*, Chunliang Hao, Pei Zhao, Jian Zhai, Mingshu Li*
    IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES 2020) (CCF-B)
  16. ACSAC
    Zhe Zhou, Di Tang, Wenhao Wang, XiaoFeng Wang, Zhou Li, Kehuan Zhang
    Annual Computer Security Applications Conference (ACSAC 2018) (CCF-B)
  17. Eurocrypt
    Meicheng Liu, Jingchun Yang, Wenhao Wang, Dongdai Lin
    37th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Eurocrypt 2018) (CCF-A)
  18. S&P
    [Guoxing Chen, Wenhao Wang*], Tianyu Chen, Sanchuan Chen, Yinqian Zhang, XiaoFeng Wang, Ten-Hwang Lai, Dongdai Lin
    2018 IEEE Symposium on Security and Privacy (S&P) (CCF-A)
  19. Genomics
    XiaoFeng Wang, Haixu Tang, Shuang Wang, Xiaoqian Jiang, Wenhao Wang, Diyue Bu, Lei Wang, Yicheng Jiang, Chenghong Wang
    2018 BMC Medical Genomics
  20. CCS
    Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter
    ACM Conference on Computer and Communications Security (ACM CCS 2017) (CCF-A)
  21. FEAST
    Shuai Wang, Wenhao Wang, Qinkun Bao, Pei Wang, XiaoFeng Wang, Dinghao Wu
    2nd Workshop on Forming an Ecosystem Around Software Transformation, co-located with CCS 2017

Manuscripts

    0 1 2 3 4
  1. Arxiv
    Wenhao Wang*, Linke Song, Benshan Mei, Shuang Liu, Shijun Zhao, Shoumeng Yan, XiaoFeng Wang, Dan Meng, Rui Hou
    Arxiv
  2. Arxiv
    Xiangyi Xu, Wenhao Wang*, Yongzheng Wu, Chenyu Wang, Huifeng Zhu, Haocheng Ma, Zhennan Min, Zixuan Pang, Rui Hou, Yier Jin*
    Arxiv
  3. Arxiv
    [Weijie Liu, Hongbo Chen], XiaoFeng Wang, Zhi Li, Danfeng Zhang, Wenhao Wang, Haixu Tang
    Arxiv
  4. Arxiv
    Wenhao Wang, Yichen Jiang, Qintao Shen, Weihao Huang, Hao Chen, Shuang Wang, XiaoFeng Wang, Haixu Tang, Kai Chen, Kristin Lauter, Dongdai Lin
    Arxiv

Courses

Professional Services

Awards

Talks

Students

Alumni

Last updated: 2024/3/15.


Powered by Jekyll and Minimal Light theme. Unique visitors: .