@misc{indiciae83a2c9262c9d,
  title = {Optimizing the Use of Behavioral Locking for High-Level Synthesis},
  author = {Christian Pilato and Luca Collini and Luca Cassano and Donatella Sciuto and Siddharth Garg and Ramesh Karri},
  year = {2022},
  doi = {10.1109/tcad.2022.3179651},
  url = {https://arxiv.org/abs/2105.09666},
  note = {Source identifier: 2105.09666}
}