-
公开(公告)号: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.
-
公开(公告)号: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.
-
公开(公告)号: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.
-
公开(公告)号:US20220026580A1
公开(公告)日:2022-01-27
申请号: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.
-
-
-
-