@misc{indiciae9bcf217e2e49,
  title = {Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP},
  author = {Dake Chen and Xuan Zhou and Yinghua Hu and Yuke Zhang and Kaixin Yang and Andrew Rittenbach and Pierluigi Nuzzo and Peter A. Beerel},
  year = {2023},
  url = {https://arxiv.org/abs/2305.00107},
  note = {Source identifier: 2305.00107}
}