A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level | IEEE Conference Publication | IEEE Xplore