Vivekananda Vedula

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Globalization of the system-on-chip (SoC) design flow has created opportunities for rogue elements in the intellectual property (IP) vendor companies to insert malicious circuits (a.k.a. hardware Trojans) into their IPs. We propose to formally verify third party IPs (3PIPs) for unauthorized corruption of critical data such as secret key. Our approach(More)
  • 1