SOLOMON: An Automated Framework for Detecting Fault Attack Vulnerabilities in Hardware | IEEE Conference Publication | IEEE Xplore