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. |
Year | DOI | Venue |
---|---|---|
2022 | 10.1109/MSEC.2022.3155376 | IEEE Security & Privacy |
Keywords | DocType | Volume |
formal methods,information-flow properties,hardware designs,hardware security property generation | Journal | 20 |
Issue | ISSN | Citations |
3 | 1540-7993 | 0 |
PageRank | References | Authors |
0.34 | 8 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Calvin Deutschbein | 1 | 0 | 0.34 |
Andres Meza | 2 | 3 | 0.74 |
Francesco Restuccia | 3 | 0 | 0.34 |
Matthew Gregoire | 4 | 0 | 0.34 |
Ryan Kastner | 5 | 1779 | 147.73 |
Cynthia Sturton | 6 | 85 | 8.56 |