default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYou Li 0008
Person information
- affiliation: University of Texas at Austin, UTDA Lab, Austin, TX, USA
- affiliation (PhD 2023): Northwestern University, ECE Department, Evanston, IL, USA
- affiliation (until 2016): Shanghai Jiao Tong University, University of Michigan-Shanghai Jiao Tong University Joint Institute, Shanghai, China
Other persons with the same name
- You Li — disambiguation page
- You Li 0001
![[0000-0003-3785-0976]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-3785-0976")
— University of Calgary, Department of Geomatics Engineering, Canada (and 1 more) - You Li 0002 — Iowa State University, Department of Electrical and Computer Engineering, Ames, IA, USA
- You Li 0003 — University of Electronic Science and Technology of China, National Key Laboratory of Science and Technology on Communications, Chengdu, China
- You Li 0004 — Shenzhen University, Shenzhen, China (and 1 more)
- You Li 0005 — RENAULT S.A.S., Guyancourt, France (and 1 more)
- You Li 0006 — Nanjing University of Aeronautics and Astronautics, College of Electronic and Information Engineering, China
- You Li 0007 — Guilin University of Electronic Technology, Guangxi Key Laboratory of Trusted Software, China
- You Li 0009 — Nanjing University of Finance and Economics, School of Finance, Nanjing, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[c14]You Li, Guannan Zhao, Yunqi He, Hai Zhou:
RE3: Finding Refinement Relations with Relational Mapping Abstraction. DAC 2025: 1-7- [c13]You Li, Guannan Zhao, Yunqi He, Hai Zhou:
DE2: SAT-Based Sequential Logic Decryption with a Functional Description. DATE 2025: 1-7 - 2024
- [c12]Yunqi He, Jiahe Liu, You Li, Hai Zhou, Linglong Cai, Taimei Cui:
Multimodal Bayesian Networks for Automatic Skin Disease Diagnosis. BIBM 2024: 2018-2025 - [c11]You Li, Guannan Zhao, Yunqi He, Hai Zhou:
Evaluating the Security of Logic Locking on Deep Neural Networks. DAC 2024: 286:1-286:6 - [c10]You Li, Kaiyu Hou, Yunqi He, Yan Chen, Hai Zhou:
Property Guided Secure Configuration Space Search. ISC (2) 2024: 140-160 - [i7]You Li, Guannan Zhao, Shuyu Kong, Yunqi He, Hai Zhou:
Certifying Global Robustness for Deep Neural Networks. CoRR abs/2405.20556 (2024) - 2023
- [c9]You Li, Guannan Zhao, Yunqi He, Hai Zhou:
SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations †. DAC 2023: 1-6 - [c8]You Li, Guannan Zhao, Yunqi He, Hai Zhou:
ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection†. DATE 2023: 1-6 - [c7]Yunqi He, Linglong Cai, Taimei Cui, You Li, Hai Zhou:
A Combination of DNN and BN for Automatic Skin Disease Diagnosis. ISBI 2023: 1-5 - 2022
- [i6]Shuyu Kong, You Li, Hai Zhou:
Incentivizing Federated Learning. CoRR abs/2205.10951 (2022) - 2021
- [c6]Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou:
Discovering emergency call pitfalls for cellular networks with formal methods. MobiSys 2021: 296-309 - 2020
- [c5]You Li, Kaiyu Hou, Hai Zhou, Yan Chen:
Network protocol safe configuration search in one shot. SIGCOMM Posters and Demos 2020: 21-23 - [i5]Shuyu Kong, You Li, Jia Wang, Amin Rezaei, Hai Zhou:
KNN-enhanced Deep Learning Against Noisy Labels. CoRR abs/2012.04224 (2020)
2010 – 2019
- 2019
- [j2]Xue Leng, Kaiyu Hou, Yan Chen, Kai Bu, Libin Song, You Li:
A lightweight policy enforcement system for resource protection and management in the SDN-based cloud. Comput. Networks 161: 68-81 (2019) - [j1]Yi Wu, You Li, Xiangxuan Ge, Yuan Gao, Weikang Qian:
An Efficient Method for Calculating the Error Statistics of Block-Based Approximate Adders. IEEE Trans. Computers 68(1): 21-38 (2019) - [c4]Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou:
CycSAT-unresolvable cyclic logic encryption using unreachable states. ASP-DAC 2019: 358-363 - [c3]Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou:
BeSAT: behavioral SAT-based attack on cyclic logic encryption. ASP-DAC 2019: 657-662 - [c2]Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou:
SigAttack: New High-level SAT-based Attack on Logic Encryptions. DATE 2019: 940-943 - [c1]Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang:
CellScope: Automatically Specifying and Verifying Cellular Network Protocols. SIGCOMM Posters and Demos 2019: 21-23 - [i4]Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou:
BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption. IACR Cryptol. ePrint Arch. 2019: 59 (2019) - [i3]Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou:
CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States. IACR Cryptol. ePrint Arch. 2019: 60 (2019) - [i2]Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou:
SigAttack: New High-level SAT-based Attack on Logic Encryptions. IACR Cryptol. ePrint Arch. 2019: 61 (2019) - 2017
- [i1]Yi Wu, You Li, Xiangxuan Ge, Weikang Qian:
An Accurate and Efficient Method to Calculate the Error Statistics of Block-based Approximate Adders. CoRR abs/1703.03522 (2017)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-18 22:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
