You Li

25 papers A* 4A 4Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 A* conf
LLA: Enhancing Security and Privacy for Generative Models with Logic-Locked Accelerators.
AAAI
You Li, Guannan Zhao, Yuhao Ju, Yunqi He, Jie Gu, Hai Zhou
2025 A conf
DE2: SAT-Based Sequential Logic Decryption with a Functional Description.
DATE
You Li, Guannan Zhao, Yunqi He, Hai Zhou
2025 J jnl
LLA: Enhancing Security and Privacy for Generative Models with Logic-Locked Accelerators.
CoRR
You Li, Guannan Zhao, Yuhao Ju, Yunqi He, Jie Gu, Hai Zhou
2025 A* conf
RE3: Finding Refinement Relations with Relational Mapping Abstraction.
DAC
You Li, Guannan Zhao, Yunqi He, Hai Zhou
2024 J jnl
Certifying Global Robustness for Deep Neural Networks.
CoRR
You Li, Guannan Zhao, Shuyu Kong, Yunqi He, Hai Zhou
2024 A* conf
Evaluating the Security of Logic Locking on Deep Neural Networks.
DAC
You Li, Guannan Zhao, Yunqi He, Hai Zhou
2024 — conf
Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis.
BIBM
Yunqi He, Jiahe Liu, You Li, Hai Zhou, Linglong Cai, Taimei Cui
2024 — conf
Property Guided Secure Configuration Space Search.
ISC (2)
You Li, Kaiyu Hou, Yunqi He, Yan Chen, Hai Zhou
2023 — conf
A Combination of DNN and BN for Automatic Skin Disease Diagnosis.
ISBI
Yunqi He, Linglong Cai, Taimei Cui, You Li, Hai Zhou
2023 A conf
ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection
DATE
You Li, Guannan Zhao, Yunqi He, Hai Zhou
2023 A* conf
SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations
DAC
You Li, Guannan Zhao, Yunqi He, Hai Zhou
2022 J jnl
Incentivizing Federated Learning.
CoRR
Shuyu Kong, You Li, Hai Zhou
2021 A conf
Discovering emergency call pitfalls for cellular networks with formal methods.
MobiSys
Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou
2020 J jnl
KNN-enhanced Deep Learning Against Noisy Labels.
CoRR
Shuyu Kong, You Li, Jia Wang, Amin Rezaei, Hai Zhou
2020 — conf
Network protocol safe configuration search in one shot.
SIGCOMM Posters and Demos
You Li, Kaiyu Hou, Hai Zhou, Yan Chen
2019 J jnl
A lightweight policy enforcement system for resource protection and management in the SDN-based cloud.
Comput. Networks
Xue Leng, Kaiyu Hou, Yan Chen, Kai Bu, Libin Song, You Li
2019 J jnl
An Efficient Method for Calculating the Error Statistics of Block-Based Approximate Adders.
IEEE Trans. Computers
Yi Wu, You Li, Xiangxuan Ge, Yuan Gao, Weikang Qian
2019 J jnl
BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
2019 — conf
BeSAT: behavioral SAT-based attack on cyclic logic encryption.
ASP-DAC
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
2019 — conf
CellScope: Automatically Specifying and Verifying Cellular Network Protocols.
SIGCOMM Posters and Demos
Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang
2019 J jnl
CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States.
IACR Cryptol. ePrint Arch.
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
2019 — conf
CycSAT-unresolvable cyclic logic encryption using unreachable states.
ASP-DAC
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
2019 A conf
SigAttack: New High-level SAT-based Attack on Logic Encryptions.
DATE
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou
2019 J jnl
SigAttack: New High-level SAT-based Attack on Logic Encryptions.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou
2017 J jnl
An Accurate and Efficient Method to Calculate the Error Statistics of Block-based Approximate Adders.
CoRR
Yi Wu, You Li, Xiangxuan Ge, Weikang Qian