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