Results 221 to 230 of about 10,546 (249)

The Need for Higher Education in Cyber Supply Chain Security and Hardware Assurance

International Journal of Systems and Software Security and Protection, 2018
Higher education curricula, specialized degrees, and certificate programs related to cybersecurity are proliferating in response to student demand; faculty interest and expertise; employer demand; government and industry standards and funding; and the expectations of specialized, state, or regional accrediting agencies.
Brian Cohen, Michelle G. Albert, Elizabeth A. McDaniel   +2 more
openaire   +1 more source

Assuring quality and reliability of complex electronic systems: hardware and software

Proceedings of the IEEE, 1988
Some of the most recent trends in expanding the scope of traditional quality-assurance techniques to include all phases of design, development, manufacture, and deployment, considering both hardware and software, are discussed. Emerging views on quality management are discussed.
openaire   +1 more source

REFICS: A Step Towards Linking Vision with Hardware Assurance

2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), 2022
Ronald Wilson, Hangwei Lu, Mengdi Zhu, Domenic Forte, Damon L. Woodard   +4 more
openaire   +1 more source

Reliability and Quality Assurance in Space Applications Hardware Systems

IETE Technical Review, 1989
(1989). Reliability and Quality Assurance in Space Applications Hardware Systems. IETE Technical Review: Vol. 6, No. 1, pp. 16-25.
openaire   +1 more source

A High-Assurance, High-Performance Hardware-Based Cross-Domain System

2016
Guardol is a domain-specific language focused on the creation of high-assurance cross-domain systems (i.e., network guards). The Guardol system generates executable code from Guardol programs while also providing formal property specification and automated verification support.
David S. Hardin, Konrad Slind, Mark Bortz, James Potts, Scott Owens   +4 more
openaire   +1 more source

Deep learning-based image analysis framework for hardware assurance of digital integrated circuits

Microelectronics Reliability, 2021
Yiqiong Shi, Deruo Cheng, Xuenong Hong   +2 more
exaly  

Hardware IP Assurance against Trojan Attacks with Machine Learning and Post-processing

ACM Journal on Emerging Technologies in Computing Systems, 2023
Pravin Gaikwad, Jonathan Cruz, Prabuddha Chakraborty   +2 more
exaly  

Hardware Assurance

Proceedings of the 2018 Great Lakes Symposium on VLSI, 2018
openaire   +1 more source

Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design

2023 60th ACM/IEEE Design Automation Conference (DAC), 2023
Jin Yang 0006, Jeremy Casas, Zhenkun Yang   +2 more
openaire   +1 more source

Hardware Trust and Assurance through Reverse Engineering: A Tutorial and Outlook from Image Analysis and Machine Learning Perspectives

ACM Journal on Emerging Technologies in Computing Systems, 2021
Ulbert J Botero, Ronald Wilson, Hangwei Lu   +2 more
exaly