Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1805.00054
Cited By
Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes
30 April 2018
Shervin Roshanisefat
Harshith K. Thirumala
K. Gaj
Houman Homayoun
Avesta Sasan
ELM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes"
1 / 1 papers shown
Title
SRCLock: SAT-Resistant Cyclic Logic Locking for Protecting the Hardware
Shervin Roshanisefat
Hadi Kamali
Avesta Sasan
33
73
0
24 Apr 2018
1
