"On SAT-Based Attacks On Encrypted Sequential Logic Circuits."

Yasaswy Kasarabada, Suyuan Chen, Ranga Vemuri (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics