Assurance Oriented Hardware Decomposition: A Deterministic Approach to Security Assurance

Read full text
Authors: Shao-Fang Wen, Arvind Sharma
Cited by: 0
References: 13

Fields of Study & Subjects

Safety Systems Engineering in Autonomy Security and Verification in Computing Information and Cyber Security

Publication details

Journal / source
Research Square
Publication date
14 January 2026
Document type
Preprint