Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part II: Framework Automation | IEEE Journals & Magazine | IEEE Xplore