Yuanqi Shen

22 papers A 5Misc 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking.
CoRR
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
2020 A conf
Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation.
DATE
Amin Rezaei, Yuanqi Shen, Hai Zhou
2019 J jnl
BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
2019 — conf
BeSAT: behavioral SAT-based attack on cyclic logic encryption.
ASP-DAC
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
2019 J jnl
CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States.
IACR Cryptol. ePrint Arch.
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
2019 — conf
CycSAT-unresolvable cyclic logic encryption using unreachable states.
ASP-DAC
Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou
2019 J jnl
Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation.
IACR Cryptol. ePrint Arch.
Amin Rezaei, Yuanqi Shen, Hai Zhou
2019 A conf
Resolving the Trilemma in Logic Encryption.
ICCAD
Hai Zhou, Amin Rezaei, Yuanqi Shen
2019 J jnl
Resolving the Trilemma in Logic Encryption.
IACR Cryptol. ePrint Arch.
Hai Zhou, Amin Rezaei, Yuanqi Shen
2019 A conf
SigAttack: New High-level SAT-based Attack on Logic Encryptions.
DATE
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou
2019 J jnl
SigAttack: New High-level SAT-based Attack on Logic Encryptions.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou
2019 J jnl
Vulnerability and Remedy of Stripped Function Logic Locking.
IACR Cryptol. ePrint Arch.
Hai Zhou, Yuanqi Shen, Amin Rezaei
2018 — conf
A comparative investigation of approximate attacks on logic encryptions.
ASP-DAC
Yuanqi Shen, Amin Rezaei, Hai Zhou
2018 A conf
Cyclic locking and memristor-based obfuscation against CycSAT and inside foundry attacks.
DATE
Amin Rezaei, Yuanqi Shen, Shuyu Kong, Jie Gu, Hai Zhou
2018 A conf
SAT-based bit-flipping attack on logic encryptions.
DATE
Yuanqi Shen, Amin Rezaei, Hai Zhou
2017 J jnl
A Comparative Investigation of Approximate Attacks on Logic Encryptions.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, Amin Rezaei, Hai Zhou
2017 J jnl
Cyclic Locking and Memristor-based Obfuscation Against CycSAT and Inside Foundry Attacks.
IACR Cryptol. ePrint Arch.
Amin Rezaei, Yuanqi Shen, Shuyu Kong, Jie Gu, Hai Zhou
2017 — conf
Double DIP: Re-Evaluating Security of Logic Encryption Algorithms.
ACM Great Lakes Symposium on VLSI
Yuanqi Shen, Hai Zhou
2017 J jnl
Double DIP: Re-Evaluating Security of Logic Encryption Algorithms.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, Hai Zhou
2017 J jnl
SAT-based Bit-flipping Attack on Logic Encryptions.
IACR Cryptol. ePrint Arch.
Yuanqi Shen, Amin Rezaei, Hai Zhou
2017 — conf
Using Security Invariant To Verify Confidentiality in Hardware Design.
ACM Great Lakes Symposium on VLSI
Shuyu Kong, Yuanqi Shen, Hai Zhou
2014 Misc conf
Leveraging microarchitectural side channel information to efficiently enhance program control flow integrity.
CODES+ISSS
Chen Liu, Chengmo Yang, Yuanqi Shen