Secure Information Flow Analysis for Hardware Design