You Li

CycSAT-unresolvable cyclic logic encryption using unreachable states

Hai Zhou, Yuanqi Shen, You Li, 2019, ASP-DAC.

Discovering emergency call pitfalls for cellular networks with formal methods

You Li, Kaiyu Hou, Yinbo Yu, 2021, MobiSys.

BeSAT: behavioral SAT-based attack on cyclic logic encryption

Hai Zhou, Yuanqi Shen, You Li, 2019, ASP-DAC.

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

Hai Zhou, Yuanqi Shen, You Li, 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).

KNN-enhanced Deep Learning Against Noisy Labels pdf

Hai Zhou, Jia Wang, Amin Rezaei, 2020, ArXiv.

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

You Li, Kai Bu, Libin Song, 2019, Comput. Networks.