• 2073 Citations
19962019

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Grants

  • Research Output

    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 proceedingConference contribution

  • A RRAM-based coarse grain reconfigurable array for neural network accelerators

    Chen, Z., Zhou, H. & Gu, J., Feb 11 2019, 2018 IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference, S3S 2018. Institute of Electrical and Electronics Engineers Inc., 8640182. (2018 IEEE SOI-3D-Subthreshold Microelectronics Technology Unified Conference, S3S 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • BESAT: Behavioral SAT-based attack on cyclic logic encryption

    Shen, Y., Li, Y., Rezaei, A., Kong, S., Dlott, D. & Zhou, H., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 657-662 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 7 Scopus citations

    CellScope: Automatically Specifying and Verifying Cellular Network Protocols

    Yu, Y., Li, Y., Hou, K., Chen, Y., Zhou, H. & Yang, J., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 21-23 3 p. (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access

    CyCsat-unresolvable cyclic logic encryption using unreachable states

    Rezaei, A., Li, Y., Shen, Y., Kong, S. & Zhou, H., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 394-399 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Scopus citations