TY  - RPRT
TI  - Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption
AU  - Yinghua Hu
AU  - Yuke Zhang
AU  - Kaixin Yang
AU  - Dake Chen
AU  - Peter A. Beerel
AU  - Pierluigi Nuzzo
PY  - 2021
DO  - 10.1109/host49136.2021.9702267
UR  - https://arxiv.org/abs/2108.04892
ID  - 2108.04892
ER  -