TY  - RPRT
TI  - SecIC3: Customizing IC3 for Hardware Security Verification
AU  - Qinhan Tan
AU  - Akash Gaonkar
AU  - Yu-Wei Fan
AU  - Aarti Gupta
AU  - Sharad Malik
PY  - 2026
UR  - https://arxiv.org/abs/2601.21353
ID  - 2601.21353
ER  -