@misc{indiciaece9d70fbe668,
  title = {Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption},
  author = {Yinghua Hu and Yuke Zhang and Kaixin Yang and Dake Chen and Peter A. Beerel and Pierluigi Nuzzo},
  year = {2021},
  doi = {10.1109/host49136.2021.9702267},
  url = {https://arxiv.org/abs/2108.04892},
  note = {Source identifier: 2108.04892}
}