Results 201 to 210 of about 10,546 (249)

A blockchain technology with advanced lightweight symmetric cryptography schemes and smart security framework for healthcare wireless body area networks. [PDF]

Sci Rep
Muthupandian S, Kumar DM.
europepmc   +1 more source

Uncertainty-Calibrated Safety Gating for Vision-Language- Action Manipulation Under Domain Shift: Reliability Gains and Intervention-Efficiency Trade-Offs. [PDF]

Sensors (Basel)
Ghaleb AM, Allahloh AS, Mejjaouli S, Ali MAH, Al-Shayea A.   +4 more
europepmc   +1 more source

Optimized fault-tolerant data processing module for high-reliability CNN accelerator. [PDF]

PLoS One
Yoon SK, Lee SH, Jo J, Lee YW.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Embedded Software Assurance for Configuring Secure Hardware

IEEE Security and Privacy, 2010
The authors define embedded end markets affected by software assurance issues, then examine ways in which security and assurance capabilities are partitioned in hardware and software. They then look at the problems inherent to configuring secure hardware.
J. Ryan Kenny, Craig Robinson
exaly   +2 more sources

Hardware Security Evaluation Using Assurance Case Models

2015 10th International Conference on Availability, Reliability and Security, 2015
The security of computing systems relies heavily on their hardware architecture. Currently, hardware is evaluated using mostly manual processes that are prone to errors, and generate a large, complex workload. In this paper, we are the first to report the use of the Assurance Case methodology to guide a hardware architecture security analysis.
Ricardo Dahab
exaly   +2 more sources

Assurance Case to Structure COTS Hardware Component Assurance for Safety-Critical Avionics

2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 2018
In every avionics system, Commercial off-the-shelf (COTS) components play an important role by enabling more complex functions.
Andreas Schwierz, Hakan Forsberg
exaly   +2 more sources

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware

Transactions on Embedded Computing Systems, 2019
Constructing high-assurance, secure hardware remains a challenge, because to do so relies on both a verifiable means of hardware description and implementation. However, production hardware description languages (HDL) lack the formal underpinnings required by formal methods in security.
Adam Procter, William L Harrison, Gérard Allwein   +2 more
exaly   +2 more sources

Hardware Security for Internet of Things Identity Assurance

IEEE Communications Surveys and Tutorials
André Cirne, Patricia R Sousa, João S Resende   +2 more
exaly   +2 more sources