Anti-SAT: Mitigating SAT Attack on Logic Locking

Document Details

Document Type: Pub Defense Publication
Publication Date: Feb 01, 2019
Source ID: 10.1109/tcad.2018.2801220

Entities

People

Ankur Srivastava
Yang Xie

Organizations

Air Force Office of Scientific Research
National Science Foundation