Grants per year
Personal profile
Research Interests
Professor Zhou's research is focused on hardware security and reliability, timing and power optimization in VLSI designs, and algorithm deisgn and anlysis.
Education/Academic qualification
Computer Sciences, PhD, University of Texas at Austin
… → 1999
Computer Science and Technology, ME, Tsinghua University
… → 1994
Computer Science and Technology, BE, Tsinghua University
… → 1992
Fingerprint
Dive into the research topics where Hai Zhou is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SaTC: CORE: Small: Efficient Logic Encryptions for Hardware IP Protection
7/1/21 → 6/30/24
Project: Research project
-
REU Supplement for EAGER: PUF-Locked Circuit Obfuscation for Counterfeit and Piracy Prevention.
10/1/16 → 3/31/20
Project: Research project
-
EAGER: PUF-Locked Circuit Obfuscation for Counterfeit and Piracy Prevention
10/1/16 → 3/31/20
Project: Research project
-
XPS: FULL: FP: Design and Synthesis of New Energy-efficient Self-healing Computing Electronics with Real-time Configurability
9/1/15 → 8/31/19
Project: Research project
-
SaTC: STARSS: ICM: Invariant Carrying Machine for Hardware Assurance
10/1/14 → 9/30/19
Project: Research project
Research Output
-
Discovering emergency call pitfalls for cellular networks with formal methods
Hou, K., Li, Y., Yu, Y., Chen, Y. & Zhou, H., Jun 24 2021, MobiSys 2021 - Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 296-309 14 p. (MobiSys 2021 - Proceedings of the 19th Annual International Conference on Mobile Systems, Applications, and Services).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Sequential Logic Encryption against Model Checking Attack
Rezaei, A. & Zhou, H., Feb 1 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. Institute of Electrical and Electronics Engineers Inc., p. 1178-1181 4 p. 9474002. (Proceedings -Design, Automation and Test in Europe, DATE; vol. 2021-February).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Network protocol safe configuration search in one shot
Li, Y., Hou, K., Zhou, H. & Chen, Y., Aug 10 2020, Proceedings of the SIGCOMM 2020 Poster and Demo Sessions, SIGCOMM 2020. Association for Computing Machinery, Inc, p. 21-23 3 p. (Proceedings of the SIGCOMM 2020 Poster and Demo Sessions, SIGCOMM 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Rescuing Logic Encryption in Post-SAT Era by Locking Obfuscation
Rezaei, A., Shen, Y. & Zhou, H., Mar 2020, Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020. Di Natale, G., Bolchini, C. & Vatajelu, E-I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 9116500. (Proceedings of the 2020 Design, Automation and Test in Europe Conference and Exhibition, DATE 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
An Efficient FPGA-based Floating Random Walk Solver for Capacitance Extraction using SDAccel
Wei, X., Yan, C., Zhou, H., Zhou, D. & Zeng, X., May 14 2019, Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1040-1045 6 p. 8714992. (Proceedings of the 2019 Design, Automation and Test in Europe Conference and Exhibition, DATE 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations