15
Publications
1.1K
Citations
13
H-Index
2016
Active since
Travis Meade is an author at University of Central Florida specializing in hardware security, computer science, and computer engineering.
Top concepts
EngineeringFormal VerificationComputer ScienceHardware SecurityComputer EngineeringData SecurityFormal MethodsProgram AnalysisInformation SecuritySoftware Analysis
Publications per year
2016–2020
15
15
AppSAT: Approximately deobfuscating integrated circuits
Kaveh Shamsi, Meng Li, Travis Meade et al. · 2017 · 311 citations
Cyclic Obfuscation for Creating SAT-Unresolvable Circuits
Kaveh Shamsi, Meng Li, Travis Meade et al. · 2017 · 158 citations
Provably secure camouflaging strategy for IC protection
Meng Li, Kaveh Shamsi, Travis Meade et al. · 2016 · 112 citations
Revisit sequential logic obfuscation: Attacks and defenses
Travis Meade, Zheng Zhao, Shaojie Zhang et al. · 2017 · 74 citations
Hardware Trojan, Sequential Logic Obfuscation, Netlist Analysis Tools +18
Rows per page
1–5 of 15