Formal Verification + CIA Triad: Winning Formula for Hardware Security Author(s): Vedprakash Mishra, Anshul Jain Download