Travis Meade

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 20

Top Topics

Transcranial Magnetic Stimulation

Reverse Engineer

Predicate Logic

Provably Secure

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Md. Moshiur Rahman, Jim Geist, Daniel Xing, Yuntao Liu, Ankur Srivastava, Travis Meade, Yier Jin, Swarup Bhunia
Security Evaluation of State Space Obfuscation of Hardware IP through a Red Team-Blue Team Practice. ACM Trans. Design Autom. Electr. Syst. 29 (3) (2024)
Jim Geist, Travis Meade, Shaojie Zhang, Yier Jin
Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT. CoRR (2023)
James Geist, Travis Meade, Shaojie Zhang, Yier Jin
NetViz: A Tool for Netlist Security Visualization. ISQED (2023)
James Geist, Shaojie Zhang, Yier Jin, Travis Meade
A Structural and SAT Analysis of SANSCrypt. AsianHOST (2022)
James Geist, Travis Meade, Shaojie Zhang, Yier Jin
RELIC-FUN: Logic Identification through Functional Signal Comparisons. DAC (2020)
Travis Meade, Jason Portillo, Shaojie Zhang, Yier Jin
NETA: when IP fails, secrets leak. ASP-DAC (2019)
Jason Portillo, Travis Meade, John Hacker, Shaojie Zhang, Yier Jin
RERTL: Finite State Transducer Logic Recovery at Register Transfer Level. AsianHOST (2019)
Meng Li, Kaveh Shamsi, Travis Meade, Zheng Zhao, Bei Yu, Yier Jin, David Z. Pan
Provably Secure Camouflaging Strategy for IC Protection. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (8) (2019)
Kaveh Shamsi, Travis Meade, Meng Li, David Z. Pan, Yier Jin
On the Approximation Resiliency of Logic Locking and IC Camouflaging Schemes. IEEE Trans. Inf. Forensics Secur. 14 (2) (2019)
Jiaji He, Xiaolong Guo, Travis Meade, Raj Gautam Dutta, Yiqiang Zhao, Yier Jin
SoC interconnection protection through formal verification. Integr. 64 (2019)
Dean Sullivan, Orlando Arias, Travis Meade, Yier Jin
Microarchitectural Minefields: 4K-Aliasing Covert Channel and Multi-Tenant Detection in Iaas Clouds. NDSS (2018)
Travis Meade, Kaveh Shamsi, Thao Le, Jia Di, Shaojie Zhang, Yier Jin
The Old Frontier of Reverse Engineering: Netlist Partitioning. J. Hardw. Syst. Secur. 2 (3) (2018)
Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin
AppSAT: Approximately deobfuscating integrated circuits. HOST (2017)
Travis Meade, Shaojie Zhang, Yier Jin
IP protection through gate-level netlist security enhancement. Integr. 58 (2017)
Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin
Circuit Obfuscation and Oracle-guided Attacks: Who can Prevail? ACM Great Lakes Symposium on VLSI (2017)
Travis Meade, Zheng Zhao, Shaojie Zhang, David Z. Pan, Yier Jin
Revisit sequential logic obfuscation: Attacks and defenses. ISCAS (2017)
Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin
Cyclic Obfuscation for Creating SAT-Unresolvable Circuits. ACM Great Lakes Symposium on VLSI (2017)
Travis Meade, Yier Jin, Mark M. Tehranipoor, Shaojie Zhang
Gate-level netlist reverse engineering for hardware security: Control logic register identification. ISCAS (2016)
Meng Li, Kaveh Shamsi, Travis Meade, Zheng Zhao, Bei Yu, Yier Jin, David Z. Pan
Provably secure camouflaging strategy for IC protection. ICCAD (2016)
Travis Meade, Shaojie Zhang, Yier Jin
Netlist reverse engineering for high-level functionality reconstruction. ASP-DAC (2016)