System, method and computer-accessible medium for security verification of third party intellectual property cores
US10083303B2 · kind B2 · utility
3Cited by
2References
30Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 3, 2015 |
| Grant date | Sep 25, 2018 |
| Priority date | — |
| Expiry date | Dec 3, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/76
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.