-
公开(公告)号：US11736501B2
公开(公告)日：2023-08-22
申请号：US17134438
申请日：2020-12-27
发明人： Alfred Larry Crouch , Peter Lawrence Levin , John David Akin , Adam Wade Ley , Matthew McKinnon Ritonia , Wesley Layton Ellington , Maria Anne Spasojevic
CPC分类号： H04L63/1416 , G01S19/23 , G01S19/42 , G06F16/2379 , G06N5/04 , G06N20/00
摘要： A method and system for analysis of a facility may include providing an emulation host system, generating a pristine circuit model on the emulation host system, inserting a first hardware trojan model, emulating operation of the golden circuit model, and emulating operation of the first hardware trojan model, and determine a set of machine-learning models, detecting the presence of an unknown trojan as a function of the set of machine learning models.
-
公开(公告)号：US11157619B2
公开(公告)日：2021-10-26
申请号：US16732236
申请日：2019-12-31
发明人： Alfred Larry Crouch
摘要： A method and system for analysis of a facility may include providing an emulation host system, first generating a golden circuit model on the emulation host system, first inserting a first hardware trojan model, first emulating operation of the golden circuit model, and second emulating operation of the first hardware trojan model. The method includes the application of operative vectors to a golden model in simulation or emulation with support of embedded activity monitors to identify which modules contribute to a given functional operation as a method to identify where trojan attacks can be placed.
-
公开(公告)号：US11681795B2
公开(公告)日：2023-06-20
申请号：US16145891
申请日：2018-09-28
CPC分类号： G06F21/552 , G06F21/554 , G06F2221/034
摘要： A method and system for analysis of a facility may include providing an emulation host system, first generating a golden circuit model on the emulation host system, first inserting a first hardware trojan model, first emulating operation of the golden circuit model, and second emulating operation of the first hardware trojan model. A facility may include a trojan instrument facility having a trojan detection instrument comparing logic circuit output against a threshold for detecting hardware trojan activity, and outputting alert data, and in relation to opening one of a plurality of scannable access points, a scannable register is inserted into an active scan chain with an associated instrument interface.
-
公开(公告)号：US10909284B1
公开(公告)日：2021-02-02
申请号：US16775658
申请日：2020-01-29
发明人： Alfred Larry Crouch
IPC分类号： G06F30/32 , G06F30/39 , G06F30/327 , G06F30/392 , G06F30/323
摘要： A method and system for analysis of an electronic facility may include providing a mathematical analysis using a scoring system to make generalization about a design and select locations for placement of trojans, triggers and trojan detection instruments within an electronic facility. Such mathematical analysis may include Controllability-Observability analysis as applied to trojan insertion and attacks, and trojan detection instruments.
-
公开(公告)号：US20220164437A1
公开(公告)日：2022-05-26
申请号：US17540637
申请日：2021-12-02
发明人： Alfred Larry Crouch , Peter Lawrence Levin , John David Akin , Adam Wade Ley , Matthew McKinnon Ritonia , Wesley Layton Ellington , Maria Anne Spasojevic
IPC分类号： G06F21/55
摘要： A hardware trojan security system may perform a computer implemented method to secure an electronic facility in relation to a hardware trojan, by performing a trojan vulnerability analysis, locating an instrument site location, identifying a selected instrument in relation to an effect of the trojan, marking instrument control-side markers and instrument operative-side markers, marking facility model control-side markers and facility model operative-side markers, marking access architecture control-side markers, and connecting the instrument with the facility model and access architecture by matching corresponding markers.
-
公开(公告)号：US20220030013A1
公开(公告)日：2022-01-27
申请号：US17134438
申请日：2020-12-27
发明人： Alfred Larry Crouch , Peter Lawrence Levin , John David Akin , Adam Wade Ley , Matthew McKinnon Ritonia , Wesley Layton Ellington , Maria Anne Spasojevic
摘要： A method and system for analysis of a facility may include providing an emulation host system, generating a pristine circuit model on the emulation host system, inserting a first hardware trojan model, emulating operation of the golden circuit model, and emulating operation of the first hardware trojan model, and determine a set of machine-learning models, detecting the presence of an unknown trojan as a function of the set of machine learning models.
-
公开(公告)号：US20210200868A1
公开(公告)日：2021-07-01
申请号：US16732236
申请日：2019-12-31
发明人： Alfred Larry Crouch
摘要： A method and system for analysis of a facility may include providing an emulation host system, first generating a golden circuit model on the emulation host system, first inserting a first hardware trojan model, first emulating operation of the golden circuit model, and second emulating operation of the first hardware trojan model. The method includes the application of operative vectors to a golden model in simulation or emulation with support of embedded activity monitors to identify which modules contribute to a given functional operation as a method to identify where trojan attacks can be placed.
-
公开(公告)号：US12026250B2
公开(公告)日：2024-07-02
申请号：US18144060
申请日：2023-05-05
CPC分类号： G06F21/552 , G06F21/554 , G06F2221/034
摘要： A method and system for analysis of a facility may include providing an emulation host system, first generating a golden circuit model on the emulation host system, first inserting a first hardware trojan model, first emulating operation of the golden circuit model, and second emulating operation of the first hardware trojan model. A facility may include a trojan instrument facility having a trojan detection instrument comparing logic circuit output against a threshold for detecting hardware trojan activity, and outputting alert data, and in relation to opening one of a plurality of scannable access points, a scannable register is inserted into an active scan chain with an associated instrument interface.
-
公开(公告)号：US20240143743A1
公开(公告)日：2024-05-02
申请号：US18144060
申请日：2023-05-05
IPC分类号： G06F21/55
CPC分类号： G06F21/552 , G06F21/554 , G06F2221/034
摘要： A method and system for analysis of a facility may include providing an emulation host system, first generating a golden circuit model on the emulation host system, first inserting a first hardware trojan model, first emulating operation of the golden circuit model, and second emulating operation of the first hardware trojan model. A facility may include a trojan instrument facility having a trojan detection instrument comparing logic circuit output against a threshold for detecting hardware trojan activity, and outputting alert data, and in relation to opening one of a plurality of scannable access points, a scannable register is inserted into an active scan chain with an associated instrument interface.
-
公开(公告)号：US11277419B2
公开(公告)日：2022-03-15
申请号：US17134441
申请日：2020-12-27
发明人： Alfred Larry Crouch , Peter Lawrence Levin , John David Akin , Adam Wade Ley , Matthew McKinnon Ritonia , Wesley Layton Ellington , Maria Anne Spasojevic
摘要： A method and system for analysis of a facility may include providing an emulation host system, generating a pristine circuit model on the emulation host system, inserting a first hardware trojan model, emulating operation of the golden circuit model, and emulating operation of the first hardware trojan model, and determine a set of machine-learning models, detecting the presence of an unknown trojan as a function of the set of machine learning models and using the same to authenticate the integrity of a GPS signal.
-
-
-
-
-
-
-
-
-
搜索结果
11 条记录 (耗时 0.013 秒)
