崎山チームの勉強会等で取り扱った論文について概要とリンクを掲載します．

論文

Advances in Logic Locking: Past, Present, and Prospects (2022)
https://eprint.iacr.org/2022/260
2022年までのLogic Locking技術とその攻撃について，詳細にまとめた詳説論文．

Quantifying the Efficacy of Logic Locking Methods (2024)
https://ieeexplore.ieee.org/document/10483335
Logic Locking技術の性能評価指標として，Corruptibilityを拡張したKey Corruption(鍵ごとの出力の破損率)とMin Corruption(鍵集合における最小のKey Corruption)を定義．

Experimental Evaluation of SAT Attack on Logic Locking (2024)
https://www.preprints.org/manuscript/202403.0447/v1
X(N)ORベースのLogic LockingについてSAT攻撃を行い，結果を分析．→攻撃所要時間は回路規模(≒鍵長)ではなくプライマリI/Oサイズに依存？

Metrics-to-Methods: Decisive Reverse Engineering Metrics for Resilient Logic Locking (2023)
https://dl.acm.org/doi/abs/10.1145/3583781.3590273
機能・構造・物理攻撃への耐性評価指標をそれぞれ定義．定義した指標により，XOR, FSM, LFSRによる動的鍵生成などを組みわせた手法(ReTrustFSM)を評価．

Modeling SAT-Attack Search Complexity (2020)
https://ieeexplore.ieee.org/document/9180706
SAT攻撃の複雑さを回路の全入出力(+鍵)の真理値表を用いて網羅的に評価．

Characterizing Corruptibility of Logic Locks using ATPG (2022)
https://ieeexplore.ieee.org/abstract/document/9611320
ATPGによって回路のCorruptibilityを近似的に(かつ効率的に)評価．

サイト(ソースコードなど)

https://git.uwaterloo.ca/jmshahen/LogicLocking-Empirical/-/tree/master/SAT/spramod-host15-logic-encryption-90a8ca47d847
Evaluating the Security of Logic Encryption Algorithms (2015) (https://ieeexplore.ieee.org/document/7140252)で使用されたSAT攻撃/Logic Lockingプログラム．

https://github.com/circuitgraph
Quantifying the Efficacy of Logic Locking Methods (2024)
(https://ieeexplore.ieee.org/document/10483335)で使用されたLogic LockingのPythonライブラリ．
回路にロックを追加する関数やロックされた回路にSAT攻撃を実行する関数などがあります．