Detecting malicious modifications of data in third-party intellectual property cores. - Jeyavijayan Rajendran; Vivekananda Vedula; Ramesh Karri (DAC, 2015)

Formal Security Verification of Third Party Intellectual Property Cores for Information Leakage. - Jeyavijayan Rajendran; Arunshankar Muruga Dhandayuthapany; Vivekananda Vedula; Ramesh Karri (VLSID, 2016)