Using Security Invariant To Verify Confidentiality in Hardware Design. - Shuyu Kong; Yuanqi Shen; Hai Zhou 001 (ACM Great Lakes Symposium on VLSI, 2017)

Memristor-Based Clock Design and Optimization with In-Situ Tunability. - Shuyu Kong; Jie Gu 001; Hai Zhou 001 (ISVLSI, 2017)

Cyclic Locking and Memristor-based Obfuscation Against CycSAT and Inside Foundry Attacks. - Amin Rezaei 001; Yuanqi Shen; Shuyu Kong; Jie Gu 001; Hai Zhou 001 (IACR Cryptol. ePrint Arch., 2017)

CycSAT: SAT-Based Attack on Cyclic Logic Encryptions. - Hai Zhou 001; Ruifeng Jiang; Shuyu Kong (IACR Cryptol. ePrint Arch., 2017)

Design and Synthesis of Self-Healing Memristive Circuits for Timing Resilient Processor Design. - Shuyu Kong; Hai Zhou 001; Jie Gu 001 (IEEE Trans. Very Large Scale Integr. Syst., 2018)

CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States. - Amin Rezaei 001; You Li 008; Yuanqi Shen; Shuyu Kong; Hai Zhou 001 (IACR Cryptol. ePrint Arch., 2019)

SigAttack: New High-level SAT-based Attack on Logic Encryptions. - Yuanqi Shen; You Li 008; Shuyu Kong; Amin Rezaei 001; Hai Zhou 001 (IACR Cryptol. ePrint Arch., 2019)

BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption. - Yuanqi Shen; You Li 008; Amin Rezaei 001; Shuyu Kong; David Dlott; Hai Zhou 001 (IACR Cryptol. ePrint Arch., 2019)

KNN-enhanced Deep Learning Against Noisy Labels. - Shuyu Kong; You Li 008; Jia Wang 003; Amin Rezaei 001; Hai Zhou 001 (CoRR, 2020)

Incentivizing Federated Learning. - Shuyu Kong; You Li 008; Hai Zhou 001 (CoRR, 2022)

Query-by-Example Keyword Spotting Using Spectral-Temporal Graph Attentive Pooling and Multi-Task Learning. - Zhenyu Wang; Shuyu Kong; Li Wan; Biqiao Zhang; Yiteng Huang; Mumin Jin; Ming Sun 013; Xin Lei; Zhaojun Yang (INTERSPEECH, 2024)

Certifying Global Robustness for Deep Neural Networks. - You Li 008; Guannan Zhao; Shuyu Kong; Yunqi He; Hai Zhou 001 (CoRR, 2024)

Effective Integration of KAN for Keyword Spotting. - Anfeng Xu; Biqiao Zhang; Shuyu Kong; Yiteng Huang; Zhaojun Yang; Sangeeta Srivastava; Ming Sun 013 (ICASSP, 2025)