SAT Attack Performance Evaluation on Logic Locking -- 2
Budget: $250 – $750 USD
I'm looking for a freelancer with expertise in evaluating the performance metrics of Pramod Subramanyani's SAT attacks on pre-SAT defendes logic locking. The focus will primarily be on measuring execution time.
Reference Paper: http://www.eecs.umich.edu/courses/eecs578/eecs578.f15/papers/sub15.pdf
Key Tasks:
- Assess the execution time of SAT attacks on specific locked circuits.
- Use the benchmarks on these circuits: C1355 Locked with SLL FLL, C2670 lock with RLL SLL FLL, C1908 lock with RLL SLL FLL.
Ideal Skills:
- Proficient in performance analysis.
- Experience with logic locking and SAT attacks.
- Ability to work with specific benchmark circuits.
This project requires a meticulous and detail-oriented professional who can provide an in-depth evaluation of the SAT attack's execution time on these locked circuits.
Reference Paper: http://www.eecs.umich.edu/courses/eecs578/eecs578.f15/papers/sub15.pdf
Key Tasks:
- Assess the execution time of SAT attacks on specific locked circuits.
- Use the benchmarks on these circuits: C1355 Locked with SLL FLL, C2670 lock with RLL SLL FLL, C1908 lock with RLL SLL FLL.
Ideal Skills:
- Proficient in performance analysis.
- Experience with logic locking and SAT attacks.
- Ability to work with specific benchmark circuits.
This project requires a meticulous and detail-oriented professional who can provide an in-depth evaluation of the SAT attack's execution time on these locked circuits.