Shuyu Kong

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Fixed Point Semantics

Top Venues

IACR Cryptol. ePrint Arch.

Publications

You Li, Guannan Zhao, Shuyu Kong, Yunqi He, Hai Zhou
Certifying Global Robustness for Deep Neural Networks. CoRR (2024)
Shuyu Kong, You Li, Hai Zhou
Incentivizing Federated Learning. CoRR (2022)
Shuyu Kong, You Li, Jia Wang, Amin Rezaei, Hai Zhou
KNN-enhanced Deep Learning Against Noisy Labels. CoRR (2020)
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 (2019)
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
BeSAT: behavioral SAT-based attack on cyclic logic encryption. ASP-DAC (2019)
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 (2019)
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States. IACR Cryptol. ePrint Arch. 2019 (2019)
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou
SigAttack: New High-level SAT-based Attack on Logic Encryptions. DATE (2019)
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
CycSAT-unresolvable cyclic logic encryption using unreachable states. ASP-DAC (2019)
Amin Rezaei, Yuanqi Shen, Shuyu Kong, Jie Gu, Hai Zhou
Cyclic locking and memristor-based obfuscation against CycSAT and inside foundry attacks. DATE (2018)
Shuyu Kong, Hai Zhou, Jie Gu
Design and Synthesis of Self-Healing Memristive Circuits for Timing Resilient Processor Design. IEEE Trans. Very Large Scale Integr. Syst. 26 (12) (2018)
Amin Rezaei, Yuanqi Shen, Shuyu Kong, Jie Gu, Hai Zhou
Cyclic Locking and Memristor-based Obfuscation Against CycSAT and Inside Foundry Attacks. IACR Cryptol. ePrint Arch. 2017 (2017)
Hai Zhou, Ruifeng Jiang, Shuyu Kong
CycSAT: SAT-based attack on cyclic logic encryptions. ICCAD (2017)
Hai Zhou, Ruifeng Jiang, Shuyu Kong
CycSAT: SAT-Based Attack on Cyclic Logic Encryptions. IACR Cryptol. ePrint Arch. 2017 (2017)
Shuyu Kong, Yuanqi Shen, Hai Zhou
Using Security Invariant To Verify Confidentiality in Hardware Design. ACM Great Lakes Symposium on VLSI (2017)
Shuyu Kong, Jie Gu, Hai Zhou
Memristor-Based Clock Design and Optimization with In-Situ Tunability. ISVLSI (2017)