A Formal Verification Approach for Detecting Opcode Trojans. - Nimish Mathure; Sudarshan K. Srinivasan; Kushal K. Ponugoti; Akansha Malik; Samuel Quanbeck (ICECS, 2020)