Name
Abstract | ||
|---|---|---|
Hardware information flow analysis detects security vulnerabilities resulting from unintended design flaws, timing channels, and hardware Trojans. These information flow models are typically generated in a general way, which includes a significant amount of redundancy that is irrelevant to the specified security properties. In this work, we propose a property specific approach for information flow security. We create information flow models tailored to the properties to be verified by performing a property specific search to identify security critical paths. This helps find suspicious signals that require closer inspection and quickly eliminates portions of the design that are free of security violations. Our property specific trimming technique reduces the complexity of the security model; this accelerates security verification and restricts potential security violations to a smaller region which helps quickly pinpoint hardware security vulnerabilities.
|
Year | DOI | Venue |
|---|---|---|
2018 | 10.1145/3240765.3240839 | ICCAD-IEEE ACM International Conference on Computer-Aided Design |
Keywords | Field | DocType |
Hardware security,security verification,information flow analysis,security property,design methodology | Information flow (information theory),Hardware security module,Computer security,Computer science,Communication channel,Real-time computing,Design methods,Specific-information,Redundancy (engineering),Trimming,Computer security model | Conference |
ISSN | ISBN | Citations |
1933-7760 | 978-1-4503-5950-4 | 1 |
PageRank | References | Authors |
0.34 | 21 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wei Hu | 1 | 14 | 4.71 |
| Armaiti Ardeshiricham | 2 | 11 | 2.90 |
| Mustafa S. Gobulukoglu | 3 | 1 | 0.34 |
| Xinmu Wang | 4 | 178 | 11.33 |
| Ryan Kastner | 5 | 1779 | 147.73 |