Jeyavijayan Rajendran, Arunshankar Muruga Dhandayuthapany, Vivekananda Vedula, Ramesh Karri. Formal Security Verification of Third Party Intellectual Property Cores for Information Leakage. In 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, VLSID 2016, Kolkata, India, January 4-8, 2016. pages 547-552, IEEE Computer Society, 2016. [doi]
Abstract is missing.