Difference between revisions of "A Yosys plugin for logic locking"
Jump to navigation
Jump to search
(Created page with "When creating an electronic circuit, manufacturing steps are usually performed by third-party actors. In order to build confidence that the circuit built is not tempered with...") |
|||
(3 intermediate revisions by 2 users not shown) | |||
Line 4: | Line 4: | ||
We present a Yosys plugin to add logic locking functionality to a circuit. During the talk, we will discuss the security metrics used, the possible attacks against logic locking, and the usage of the plugin we developped. | We present a Yosys plugin to add logic locking functionality to a circuit. During the talk, we will discuss the security metrics used, the possible attacks against logic locking, and the usage of the plugin we developped. | ||
== Downloads == | |||
* [[File:Gabriel Gouvine MOOSIC FSiC 2023.pdf.pdf|Slides]] | |||
* [https://peertube.f-si.org/videos/watch/7f250190-6d8f-4a67-8ed6-d07deda7fba0 Video recording] |
Latest revision as of 22:22, 28 July 2023
When creating an electronic circuit, manufacturing steps are usually performed by third-party actors. In order to build confidence that the circuit built is not tempered with and is not used by third-parties, a variety of methods have been devised. A common approach, logic locking, is to introduce additional logic that requires the correct key to function as designed.
This mangling makes it more difficult to reverse-engineer the circuit, to add trojans, or simply to reuse without the correct key.
We present a Yosys plugin to add logic locking functionality to a circuit. During the talk, we will discuss the security metrics used, the possible attacks against logic locking, and the usage of the plugin we developped.