Provably Secure Sequential Obfuscation for IC Metering and Piracy Avoidance
Farinaz Koushanfar · IEEE Design and Test · 2021
Editor's note: This article introduces formal security proofs in the context of integrated circuits obfuscability. -Rosario Cammarota, Intel Labs -Francesco Regazzoni, University of Amsterdam and Università della Svizzera Italiana