Towards a Formal Treatment of Logic Locking

Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo. Towards a Formal Treatment of Logic Locking. IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022(2):92-114, 2022. [doi]

Abstract

Abstract is missing.