BeSAT: Behavioral SAT-based attack on cyclic logic encryption Y Shen, Y Li, A Rezaei, S Kong, D Dlott, H Zhou Proceedings of the 24th Asia and South Pacific Design Automation Conference …, 2019 | 60 | 2019 |
An efficient method for calculating the error statistics of block-based approximate adders Y Wu, Y Li, X Ge, Y Gao, W Qian IEEE Transactions on Computers 68 (1), 21-38, 2018 | 47 | 2018 |
CycSAT-unresolvable cyclic logic encryption using unreachable states A Rezaei, Y Li, Y Shen, S Kong, H Zhou Proceedings of the 24th Asia and South Pacific Design Automation Conference …, 2019 | 39 | 2019 |
SigAttack: New high-level SAT-based attack on logic encryptions Y Shen, Y Li, S Kong, A Rezaei, H Zhou 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 940-943, 2019 | 23 | 2019 |
A lightweight policy enforcement system for resource protection and management in the SDN-based cloud X Leng, K Hou, Y Chen, K Bu, L Song, Y Li Computer Networks 161, 68-81, 2019 | 11 | 2019 |
Discovering emergency call pitfalls for cellular networks with formal methods K Hou, Y Li, Y Yu, Y Chen, H Zhou Proceedings of the 19th Annual International Conference on Mobile Systems …, 2021 | 8 | 2021 |
CellScope: Automatically specifying and verifying cellular network protocols Y Yu, Y Li, K Hou, Y Chen, H Zhou, J Yang Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos, 21-23, 2019 | 7 | 2019 |
SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations † Y Li, G Zhao, Y He, H Zhou 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | | 2023 |
A Combination of DNN and BN for Automatic Skin Disease Diagnosis Y He, L Cai, T Cui, Y Li, H Zhou 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI), 1-5, 2023 | | 2023 |
ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection† Y Li, G Zhao, Y He, H Zhou 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2023 | | 2023 |
Network protocol safe configuration search in one shot Y Li, K Hou, H Zhou, Y Chen Proceedings of the SIGCOMM'20 Poster and Demo Sessions, 21-23, 2020 | | 2020 |