Title | ||
---|---|---|
Security-driven metrics and models for efficient evaluation of logic encryption schemes |
Abstract | ||
---|---|---|
Research in logic encryption over the last decade has resulted in various techniques to prevent different security threats such as Trojan insertion, intellectual property leakage, and reverse engineering. However, there is little agreement on a uniform set of metrics and models to efficiently assess the achieved security level and the trade-offs between security and overhead. This paper addresses the above challenges by relying on a general logic encryption model that can encompass all the existing techniques, and a uniform set of metrics that can capture multiple, possibly conflicting, security concerns. We apply our modeling approach to four state-of-the-art encryption techniques, showing that it enables fast and accurate evaluation of design trade-offs, average prediction errors that are at least 2× smaller than previous approaches, and the evaluation of compound encryption methods.
|
Year | DOI | Venue |
---|---|---|
2019 | 10.1145/3359986.3361207 | Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design |
Field | DocType | ISBN |
Computer science,Encryption,Theoretical computer science,Computer engineering | Conference | 978-1-4503-6997-8 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yinghua Hu | 1 | 0 | 0.68 |
Vivek V. Menon | 2 | 0 | 0.34 |
Andrew Schmidt | 3 | 0 | 0.34 |
Joshua S. Monson | 4 | 36 | 5.87 |
Matthew French | 5 | 71 | 9.78 |
Pierluigi Nuzzo | 6 | 305 | 33.35 |