You Li

According to our database, You Li authored at least 20 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

DE2: SAT-Based Sequential Logic Decryption with a Functional Description.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Proceedings of the Design, Automation & Test in Europe Conference, 2025

RE3: Finding Refinement Relations with Relational Mapping Abstraction.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

2024

Certifying Global Robustness for Deep Neural Networks.

You Li, Guannan Zhao, Shuyu Kong, Yunqi He, Hai Zhou

CoRR, 2024

Property Guided Secure Configuration Space Search.

You Li, Kaiyu Hou, Yunqi He, Yan Chen, Hai Zhou

Proceedings of the Information Security - 27th International Conference, 2024

Evaluating the Security of Logic Locking on Deep Neural Networks.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis.

Yunqi He, Jiahe Liu, You Li, Hai Zhou, Linglong Cai, Taimei Cui

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

2023

A Combination of DNN and BN for Automatic Skin Disease Diagnosis.

Yunqi He, Linglong Cai, Taimei Cui, You Li, Hai Zhou

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection^†.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations ^†.

You Li, Guannan Zhao, Yunqi He, Hai Zhou

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Incentivizing Federated Learning.

Shuyu Kong, You Li, Hai Zhou

CoRR, 2022

2021

Discovering emergency call pitfalls for cellular networks with formal methods.

Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou

Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021

2020

KNN-enhanced Deep Learning Against Noisy Labels.

Shuyu Kong, You Li, Jia Wang, Amin Rezaei, Hai Zhou

CoRR, 2020

Network protocol safe configuration search in one shot.

You Li, Kaiyu Hou, Hai Zhou, Yan Chen

Proceedings of the SIGCOMM '20: ACM SIGCOMM 2020 Conference, 2020

2019

An Efficient Method for Calculating the Error Statistics of Block-Based Approximate Adders.

Yi Wu, You Li, Xiangxuan Ge, Yuan Gao, Weikang Qian

IEEE Trans. Computers, 2019

A lightweight policy enforcement system for resource protection and management in the SDN-based cloud.

Xue Leng, Kaiyu Hou, Yan Chen, Kai Bu, Libin Song, You Li

Comput. Networks, 2019

CellScope: Automatically Specifying and Verifying Cellular Network Protocols.

Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang

Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos, 2019

SigAttack: New High-level SAT-based Attack on Logic Encryptions.

Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

BeSAT: behavioral SAT-based attack on cyclic logic encryption.

Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

CycSAT-unresolvable cyclic logic encryption using unreachable states.

Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2017

An Accurate and Efficient Method to Calculate the Error Statistics of Block-based Approximate Adders.

Yi Wu, You Li, Xiangxuan Ge, Weikang Qian

CoRR, 2017