Travis Meade

According to our database, Travis Meade authored at least 18 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT.

Jim Geist, Travis Meade, Shaojie Zhang, Yier Jin

CoRR, 2023

NetViz: A Tool for Netlist Security Visualization.

James Geist, Travis Meade, Shaojie Zhang, Yier Jin

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022

A Structural and SAT Analysis of SANSCrypt.

James Geist, Shaojie Zhang, Yier Jin, Travis Meade

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2022

2020

RELIC-FUN: Logic Identification through Functional Signal Comparisons.

James Geist, Travis Meade, Shaojie Zhang, Yier Jin

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

On the Approximation Resiliency of Logic Locking and IC Camouflaging Schemes.

Kaveh Shamsi, Travis Meade, Meng Li, David Z. Pan, Yier Jin

IEEE Trans. Inf. Forensics Secur., 2019

Provably Secure Camouflaging Strategy for IC Protection.

Meng Li, Kaveh Shamsi, Travis Meade, Zheng Zhao, Bei Yu, Yier Jin, David Z. Pan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

SoC interconnection protection through formal verification.

Jiaji He, Xiaolong Guo, Travis Meade, Raj Gautam Dutta, Yiqiang Zhao, Yier Jin

Integr., 2019

NETA: when IP fails, secrets leak.

Travis Meade, Jason Portillo, Shaojie Zhang, Yier Jin

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

RERTL: Finite State Transducer Logic Recovery at Register Transfer Level.

Jason Portillo, Travis Meade, John Hacker, Shaojie Zhang, Yier Jin

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2019

2018

The Old Frontier of Reverse Engineering: Netlist Partitioning.

Travis Meade, Kaveh Shamsi, Thao Le, Jia Di, Shaojie Zhang, Yier Jin

J. Hardw. Syst. Secur., 2018

Microarchitectural Minefields: 4K-Aliasing Covert Channel and Multi-Tenant Detection in Iaas Clouds.

Dean Sullivan, Orlando Arias, Travis Meade, Yier Jin

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

2017

IP protection through gate-level netlist security enhancement.

Travis Meade, Shaojie Zhang, Yier Jin

Integr., 2017

Revisit sequential logic obfuscation: Attacks and defenses.

Travis Meade, Zheng Zhao, Shaojie Zhang, David Z. Pan, Yier Jin

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

AppSAT: Approximately deobfuscating integrated circuits.

Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin

Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, 2017

Circuit Obfuscation and Oracle-guided Attacks: Who can Prevail?

Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Cyclic Obfuscation for Creating SAT-Unresolvable Circuits.

Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

2016

Gate-level netlist reverse engineering for hardware security: Control logic register identification.

Travis Meade, Yier Jin, Mark M. Tehranipoor, Shaojie Zhang

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Netlist reverse engineering for high-level functionality reconstruction.

Travis Meade, Shaojie Zhang, Yier Jin

Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016