Journal of Hardware and Systems Security · 2018 · 64 citations · 41 references
Hardware TrojanEngineeringInformation SecurityComputer ArchitectureInformation ForensicsSide-channel AttackFormal VerificationSoftware AnalysisHardware SecurityHardware Obfuscation TechniquesTrusted Execution EnvironmentHardware Security SolutionHardware Obfuscation BenchmarksObfuscation TechniquesComputer EngineeringData PrivacyComputer ScienceData SecurityCryptographySoftware SecurityProgram AnalysisSoftware TestingObfuscation (Software)Hardware Obfuscation
Obfuscation is a promising solution for securing hardware intellectual property (IP) against various attacks, such as reverse engineering, piracy, and tampering. Due to the lack of standard benchmarks, proposed techniques by researchers and practitioners in the community are evaluated by existing benchmark suites such as ISCAS-85, ISCAS-89, and ITC-99. These open source benchmarks, though widely utilized, are not necessarily suitable for the purpose of evaluating hardware obfuscation techniques. In this context, we believe that it is important to establish a set of well-defined benchmarks, on which the effectiveness of new and existing obfuscation techniques and attacks on them can be compared. In this paper, we describe a set of such benchmarks obfuscated with some popular methods that we created to facilitate this need. These benchmarks have been made publicly available on Trust-Hub web portal. Moreover, we provide the first evaluation of several obfuscation approaches based on the metrics and existing attacks using this new suite. Finally, we discuss our observations and guidance for future work in hardware obfuscation and benchmarking.
41
Proceedings of the 11th USENIX Security Symposium
Dan Boneh · 2002 · 2.5K citations
Combinational profiles of sequential benchmark circuits
F. Brglez, D. Bryan, Krzysztof Koźmiński · 2003 · 2.1K citations
A Taxonomy of Obfuscating Transformations
Christian Collberg, Clark Thomborson, Douglas Low · 1997 · 850 citations
Evaluating the security of logic encryption algorithms
Pramod Subramanyan, Sayak Ray, Sharad Malik · 2015 · 750 citations