RTL-PSC: Automated Power Side-Channel Leakage Assessment at Register-Transfer Level | IEEE Conference Publication | IEEE Xplore