EngineeringComputer EngineeringComputer ScienceDesign AutomationFault ToleranceFault-tolerant ComputingAssertion-based VerificationDeductive VerificationHardware DebuggingHardware Modeling For Digital SystemsHardware SpecificationVerificationAccuracyFabrication Error DetectionFormal Hardware VerificationHardware Model CheckingHardware VerificationVerification Metrics
We introduce the first hardware metering scheme that enables reli-able low overhead proofs for the number of manufactured parts. The key idea is to make each design slightly different. Therefore, if two identical hardware designs or a design that is not reported by the foundry are detected, the design house has proof of miscon-duct. We start by establishing the connection between the require-ments for hardware and synthesis process. Furthermore, we present mathematical analysis of statistical accuracy of the pro-posed hardware metering scheme. The effectiveness of the meter-ing scheme is demonstrated on a number of designs.
20
New directions in cryptography
Whitfield Diffie, Martin E. Hellman · IEEE Transactions on Information Theory · 1976 · 14.4K citations
Tamper resistance: a cautionary note
Ross Anderson, Markus Kühn · 1996 · 909 citations
Register allocation & spilling via graph coloring
Gregory J. Chaitin · ACM SIGPLAN Notices · 1982 · 767 citations · Full text
Register allocation & spilling via graph coloring
Gregory J. Chaitin · 1982 · 668 citations