Formal Verification + CIA Triad: Winning Formula for Hardware Security Author(s): Vedprakash Mishra, Anshul Jain Location: India Year: 2023 Type: Paper Format: pdf Download