An Accurate and Efficient Method to Calculate the Error Statistics of Block-based Approximate Adders. - Yi Wu; You Li 008; Xiangxuan Ge; Weikang Qian (CoRR, 2017)

CycSAT-unresolvable cyclic logic encryption using unreachable states. - Amin Rezaei 001; You Li 008; Yuanqi Shen; Shuyu Kong; Hai Zhou 001 (ASP-DAC, 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 (ASP-DAC, 2019)

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

CellScope: Automatically Specifying and Verifying Cellular Network Protocols. - Yinbo Yu; You Li 008; Kaiyu Hou; Yan Chen 004; Hai Zhou 001; Jianfeng Yang (SIGCOMM Posters and Demos, 2019)

A lightweight policy enforcement system for resource protection and management in the SDN-based cloud. - Xue Leng; Kaiyu Hou; Yan Chen 004; Kai Bu; Libin Song; You Li 008 (Comput. Networks, 2019)

An Efficient Method for Calculating the Error Statistics of Block-Based Approximate Adders. - Yi Wu; You Li 008; Xiangxuan Ge; Yuan Gao 012; Weikang Qian (IEEE Trans. Computers, 2019)

Network protocol safe configuration search in one shot. - You Li 008; Kaiyu Hou; Hai Zhou 001; Yan Chen 004 (SIGCOMM Posters and Demos, 2020)

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

Discovering emergency call pitfalls for cellular networks with formal methods. - Kaiyu Hou; You Li 008; Yinbo Yu; Yan Chen 004; Hai Zhou 001 (MobiSys, 2021)

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

SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations †. - You Li 008; Guannan Zhao; Yunqi He; Hai Zhou 001 (DAC, 2023)

ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection†. - You Li 008; Guannan Zhao; Yunqi He; Hai Zhou 001 (DATE, 2023)

A Combination of DNN and BN for Automatic Skin Disease Diagnosis. - Yunqi He; Linglong Cai; Taimei Cui; You Li 008; Hai Zhou 001 (ISBI, 2023)

Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis. - Yunqi He; Jiahe Liu; You Li 008; Hai Zhou 001; Linglong Cai; Taimei Cui (BIBM, 2024)

Evaluating the Security of Logic Locking on Deep Neural Networks. - You Li 008; Guannan Zhao; Yunqi He; Hai Zhou 001 (DAC, 2024)

Property Guided Secure Configuration Space Search. - You Li 008; Kaiyu Hou; Yunqi He; Yan Chen 004; Hai Zhou 001 (ISC (2), 2024)

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

RE3: Finding Refinement Relations with Relational Mapping Abstraction. - You Li 008; Guannan Zhao; Yunqi He; Hai Zhou 001 (DAC, 2025)

DE2: SAT-Based Sequential Logic Decryption with a Functional Description. - You Li 008; Guannan Zhao; Yunqi He; Hai Zhou 001 (DATE, 2025)