Paper 2016/846
Survey of Approaches for Security Verification of Hardware/Software Systems
Onur Demir and Wenjie Xiong and Faisal Zaghloul and Jakub Szefer
Abstract
Variety of computing systems have been proposed to provide protection for sensitive code or data through hardware or software mechanisms. This paper surveys the landscape of security verification approaches and techniques for hardware/software systems at different levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, based on the tools used and security aspects being examined. Since many systems require both hardware and software components to work together to provide the system's promised security protections, it is no longer sufficient to verify the software levels or the hardware levels in a mutually exclusive fashion. This survey highlights common sets of system levels that are verified by the different existing projects and presents to the readers the state of the art in hardware security verification. Few approaches come close to providing full-system verification, and there is still much room for improvement. In this survey, readers will gain insights into existing approaches in formal modeling and security verification of hardware/software systems, and gain insights for future research directions.
Note: Minor text updates and clarifications.
Metadata
- Available format(s)
- Category
- Implementation
- Publication info
- Preprint.
- Keywords
- formal methodstheorem proversmodel checkerssecurity verificationprocessor architectures
- Contact author(s)
- jakub szefer @ yale edu
- History
- 2022-10-06: last of 6 revisions
- 2016-09-07: received
- See all versions
- Short URL
- https://ia.cr/2016/846
- License
-
CC BY