Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance | IEEE Conference Publication | IEEE Xplore