Yuanqi Shen

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 21

Top Topics

Classical Logic

Encryption Algorithm

Countermeasures

Top Venues

IACR Cryptol. ePrint Arch.

ACM Great Lakes Symposium on VLSI

Publications

Benjamin Tan, Ramesh Karri, Nimisha Limaye, Abhrajit Sengupta, Ozgur Sinanoglu, Md Moshiur Rahman, Swarup Bhunia, Danielle Duvalsaint, Ronald D. Blanton, Amin Rezaei, Yuanqi Shen, Hai Zhou, Leon Li, Alex Orailoglu, Zhaokun Han, Austin Benedetti, Luciano Brignone, Muhammad Yasin, Jeyavijayan Rajendran, Michael Zuzak, Ankur Srivastava, Ujjwal Guin, Chandan Karfa, Kanad Basu, Vivek V. Menon, Matthew French, Peilin Song, Franco Stellari, Gi-Joon Nam, Peter Gadfort, Alric Althoff, Joseph Tostenrude, Saverio Fazzari, Eric Breckenfeld, Kenneth Plaks
Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking. CoRR (2020)
Amin Rezaei, Yuanqi Shen, Hai Zhou
Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation. DATE (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)
Hai Zhou, Yuanqi Shen, Amin Rezaei
Vulnerability and Remedy of Stripped Function Logic Locking. 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)
Amin Rezaei, Yuanqi Shen, Hai Zhou
Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation. 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)
Hai Zhou, Amin Rezaei, Yuanqi Shen
Resolving the Trilemma in Logic Encryption. ICCAD (2019)
Hai Zhou, Amin Rezaei, Yuanqi Shen
Resolving the Trilemma in Logic Encryption. IACR Cryptol. ePrint Arch. 2019 (2019)
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
CycSAT-unresolvable cyclic logic encryption using unreachable states. ASP-DAC (2019)
Yuanqi Shen, Amin Rezaei, Hai Zhou
A comparative investigation of approximate attacks on logic encryptions. ASP-DAC (2018)
Amin Rezaei, Yuanqi Shen, Shuyu Kong, Jie Gu, Hai Zhou
Cyclic locking and memristor-based obfuscation against CycSAT and inside foundry attacks. DATE (2018)
Yuanqi Shen, Amin Rezaei, Hai Zhou
SAT-based bit-flipping attack on logic encryptions. DATE (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)
Yuanqi Shen, Hai Zhou
Double DIP: Re-Evaluating Security of Logic Encryption Algorithms. IACR Cryptol. ePrint Arch. 2017 (2017)
Yuanqi Shen, Amin Rezaei, Hai Zhou
SAT-based Bit-flipping Attack on Logic Encryptions. IACR Cryptol. ePrint Arch. 2017 (2017)
Yuanqi Shen, Amin Rezaei, Hai Zhou
A Comparative Investigation of Approximate Attacks on Logic Encryptions. IACR Cryptol. ePrint Arch. 2017 (2017)
Yuanqi Shen, Hai Zhou
Double DIP: Re-Evaluating Security of Logic Encryption Algorithms. ACM Great Lakes Symposium on VLSI (2017)
Shuyu Kong, Yuanqi Shen, Hai Zhou
Using Security Invariant To Verify Confidentiality in Hardware Design. ACM Great Lakes Symposium on VLSI (2017)
Chen Liu, Chengmo Yang, Yuanqi Shen
Leveraging microarchitectural side channel information to efficiently enhance program control flow integrity. CODES+ISSS (2014)