Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Allon Adir"'
Publikováno v:
Cyber-Physical Security for Critical Infrastructures Protection ISBN: 9783030697808
CPS4CIP
CPS4CIP
Security of IoT systems is a growing concern with rising risks and damages due to successful attacks. Breaches are inevitable, attacks have become more sophisticated, and securing critical infrastructure has become a greater challenge. Anomaly detect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd39b5c8c7492422f5257a6a6193a2f9
https://doi.org/10.1007/978-3-030-69781-5_7
https://doi.org/10.1007/978-3-030-69781-5_7
Publikováno v:
Cyber-Physical Threat Intelligence for Critical Infrastructures Security: Securing Critical Infrastructures in Air Transport, Water, Gas, Healthcare, Finance and Industry
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54217adf44460d899b776b9bb749e166
https://doi.org/10.1561/9781680838237.ch22
https://doi.org/10.1561/9781680838237.ch22
Publikováno v:
SYSTOR
We use Apache Spark analytics to investigate the logs of an operational cloud object store service to understand how it is being used. This investigation involves going over very large amounts of historical data (PBs of records in some cases) collect
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 31:1297-1302
The continuing trend toward increased parallelism in processor design can be seen in both the growing number of processor cores per system and in on-core hardware mechanisms that assist parallelism, such as multithreading and cache hierarchies. This
Publikováno v:
IEEE Design & Test of Computers. 21:84-93
Functional verification is widely recognized as the bottleneck of the hardware design cycle. With the ever-growing demand for greater performance and faster time to market, coupled with the exponential growth in hardware size, verification has become
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems. 14:502-515
This paper introduces a generic framework for defining instructions, programs, and the semantics of their instantiation by operations in a multiprocessor environment. The framework captures information flow between operations in a multiprocessor prog
Publikováno v:
DAC
The rising size and complexity of in-car networks call for more advanced and scalable verification solutions. We propose a verification methodology for in-car networks based on a system level test generator tool used for creating massive random biase
Autor:
Charles Meissner, Wisam Kadry, Randall R. Pratt, Anatoly Koyfman, Thompto Brian W, Brett Adam St. Onge, Daniel Hershcovich, Mike Schiffli, Avi Ziv, Allon Adir, Elena Tsanko, Oz Hershkovitz, Karen Holtz, Hickerson Bryan G, John M. Ludden, Dave Goodman, Amir Nahir
Publikováno v:
DAC
Transactional memory is a promising mechanism for synchronizing concurrent programs that eliminates locks at the expense of hardware complexity. Transactional memory is a hard feature to verify. First, transactions comprise several instructions that
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783642396106
Haifa Verification Conference
Haifa Verification Conference
The continuing growth in the complexity of production processes is driven mainly by the integration of smart and cheap devices, such as sensors and custom hardware or software components. This naturally leads to higher complexity in fault detection a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c4098624cae6f538db20aacaf7a46f1
https://doi.org/10.1007/978-3-642-39611-3_19
https://doi.org/10.1007/978-3-642-39611-3_19
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319030760
Haifa Verification Conference
Haifa Verification Conference
Using simulation monitors that are formally defined and automatically synthesized is already part of the standard methodology of hardware design and verification. However, this is not yet the case in the domain of systems engineering for cyber-physic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2bed4c7c71594bf012ffcfe48de17928
https://doi.org/10.1007/978-3-319-03077-7_13
https://doi.org/10.1007/978-3-319-03077-7_13