SYSTEM, METHOD AND COMPUTER-ACCESSIBLE MEDIUM FOR SECURITY VERIFICATION OF THIRD PARTY INTELLECTUAL PROPERTY CORES
- 申请公布号：
- US2016098558(A1)
- 申请号：
- US201514874794
- 申请日期：
- 2015.10.05
- 申请公布日期：
- 2016.04.07
- 申请人：
- New York University
- 发明人：
- VEDULA VIVEKANANDA;RAJENDRAN JEYAVIJAYAN;DHANDAYUTHAPANY ARUNSHANKAR;KARRI RAMESH
- 分类号：
- G06F21/55
- 主分类号：
- G06F21/55
- 地址：
- New York NY US
- 摘要：
- An exemplary system, method and computer-accessible medium for detecting the presence of a Trojan(s) in a circuit(s), can include, for example, receiving information related to a property(s) configured to determine the presence of the Trojan(s), and determining the presence of the Trojan(s) based on the property(s) and a design(s) of the circuit(s) using a bounded model checking tool.
- 主权项：
- 1. A non-transitory computer-accessible medium having stored thereon computer-executable instructions for determining a presence of at least one Trojan in at least one configuration, wherein, when a computer arrangement executes the instructions, the computer arrangement is configured to perform procedures comprising:
receiving electronic data related to at least one property; and determining the presence of the at least one Trojan based on the electronic data the at least one property and at least one design of the at least one configuration using a bounded model checking (BMC) engine.
Copyright Notice © 2009-2024 传众 版权所有