Netlist reverse engineering for high-level functionality reconstruction. - Travis Meade; Shaojie Zhang 001; Yier Jin (ASP-DAC, 2016)

Gate-level netlist reverse engineering for hardware security: Control logic register identification. - Travis Meade; Yier Jin; Mark Tehranipoor; Shaojie Zhang 001 (ISCAS, 2016)

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits. - Kaveh Shamsi; Meng Li 004; Travis Meade; Zheng Zhao 003; David Z. Pan; Yier Jin (ACM Great Lakes Symposium on VLSI, 2017)

Circuit Obfuscation and Oracle-guided Attacks: Who can Prevail? - Kaveh Shamsi; Meng Li 004; Travis Meade; Zheng Zhao 003; David Z. Pan; Yier Jin (ACM Great Lakes Symposium on VLSI, 2017)

AppSAT: Approximately deobfuscating integrated circuits. - Kaveh Shamsi; Meng Li 004; Travis Meade; Zheng Zhao 003; David Z. Pan; Yier Jin (HOST, 2017)

Revisit sequential logic obfuscation: Attacks and defenses. - Travis Meade; Zheng Zhao 003; Shaojie Zhang 001; David Z. Pan; Yier Jin (ISCAS, 2017)

IP protection through gate-level netlist security enhancement. - Travis Meade; Shaojie Zhang 001; Yier Jin (Integr., 2017)

Microarchitectural Minefields: 4K-Aliasing Covert Channel and Multi-Tenant Detection in Iaas Clouds. - Dean Sullivan; Orlando Arias; Travis Meade; Yier Jin (NDSS, 2018)

The Old Frontier of Reverse Engineering: Netlist Partitioning. - Travis Meade; Kaveh Shamsi; Thao Le 001; Jia Di; Shaojie Zhang 001; Yier Jin (J. Hardw. Syst. Secur., 2018)

RERTL: Finite State Transducer Logic Recovery at Register Transfer Level. - Jason Portillo; Travis Meade; John Hacker; Shaojie Zhang 001; Yier Jin (AsianHOST, 2019)

NETA: when IP fails, secrets leak. - Travis Meade; Jason Portillo; Shaojie Zhang 001; Yier Jin (ASP-DAC, 2019)

SoC interconnection protection through formal verification. - Jiaji He; Xiaolong Guo; Travis Meade; Raj Gautam Dutta; Yiqiang Zhao; Yier Jin (Integr., 2019)

Provably Secure Camouflaging Strategy for IC Protection. - Meng Li 004; Kaveh Shamsi; Travis Meade; Zheng Zhao 003; Bei Yu 001; Yier Jin; David Z. Pan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

On the Approximation Resiliency of Logic Locking and IC Camouflaging Schemes. - Kaveh Shamsi; Travis Meade; Meng Li 004; David Z. Pan; Yier Jin (IEEE Trans. Inf. Forensics Secur., 2019)

RELIC-FUN: Logic Identification through Functional Signal Comparisons. - James Geist; Travis Meade; Shaojie Zhang 001; Yier Jin (DAC, 2020)

A Structural and SAT Analysis of SANSCrypt. - James Geist; Shaojie Zhang 001; Yier Jin; Travis Meade (AsianHOST, 2022)

NetViz: A Tool for Netlist Security Visualization. - James Geist; Travis Meade; Shaojie Zhang 001; Yier Jin (ISQED, 2023)

Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT. - Jim Geist; Travis Meade; Shaojie Zhang 001; Yier Jin (CoRR, 2023)

Security Evaluation of State Space Obfuscation of Hardware IP through a Red Team-Blue Team Practice. - Md. Moshiur Rahman 001; Jim Geist; Daniel Xing; Yuntao Liu 001; Ankur Srivastava 001; Travis Meade; Yier Jin; Swarup Bhunia (ACM Trans. Design Autom. Electr. Syst., 2024)