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