학술논문
Toward Hardware Security Property Generation at Scale
Document Type
Periodical
Source
IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 20(3):43-51 Jun, 2022
Subject
Language
ISSN
1540-7993
1558-4046
1558-4046
Abstract
Using formal methods requires first developing the properties to be verified, which is a difficult and time-consuming task. This article describes our research on automating the property generation process for information-flow properties that are critical to the security of hardware designs.