Hardware and Software Co-Verification from Security Perspective | IEEE Conference Publication | IEEE Xplore