SHarPen: SoC Security Verification by Hardware Penetration Test | IEEE Conference Publication | IEEE Xplore