⊕

Selected Publications

Evaluating the security of logic locking on deep neural networks.
You Li*, Guannan Zhao*, Yunqi He, and Hai Zhou. (2024)
In DAC. [Paper]

Se3: Sequential equivalence checking for non-cycle-accurate design transformations.
You Li*, Guannan Zhao*, Yunqi He, and Hai Zhou. (2023)
In DAC. [Paper]

Obfuslock: An efficient obfuscated locking framework for circuit ip protection.
You Li*, Guannan Zhao*, Yunqi He, and Hai Zhou. (2023)
In DATE. [Paper]

Discovering emergency call pitfalls for cellular networks with formal methods.
Kaiyu Hou*, You Li*, Yinbo Yu, Yan Chen, and Hai Zhou. (2021)
In MobiSys. [Paper]

Network protocol safe configuration search in one shot.
You Li*, Kaiyu Hou*, Yan Chen, and Hai Zhou. (2020)
In Sigcomm Posters and Demos. [Paper]

Sigattack: New high-level sat-based attack on logic encryptions.
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, and Hai Zhou. (2019)
In DATE. [Paper]

Cycsat-unresolvable cyclic logic encryption using unreachable states.
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, and Hai Zhou. (2019)
In ASP-DAC. [Paper]

Besat: Behavioral sat-based attack on cyclic logic encryption.
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, and Hai Zhou. (2019)
In ASP-DAC. [Paper]

Cellscope: Automatically specifying and verifying cellular network protocols.
Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, and Jianfeng Yang. (2019)
In Sigcomm Posters and Demos. [Paper]

A Lightweight Policy Enforcement System for Resource Protection and Management in the SDN-based Cloud.
Xue Leng, Kaiyu Hou, Yan Chen, Kai Bo, Libin Song, and You Li. (2019)
In Computer Networks. [Paper]

An efficient method for calculating the error statistics of block-based approximate adders.
Yi Wu*, You Li*, Xiangxuan Ge*, Yuan Gao, and Weikang Qian. (2019)
In IEEE Trans. on Computers. [Paper]