@misc{indiciae487865ca585b,
  title = {SecIC3: Customizing IC3 for Hardware Security Verification},
  author = {Qinhan Tan and Akash Gaonkar and Yu-Wei Fan and Aarti Gupta and Sharad Malik},
  year = {2026},
  url = {https://arxiv.org/abs/2601.21353},
  note = {Source identifier: 2601.21353}
}