CAD for Hardware Security