Analyzing hardware designs for vulnerabilities to side-channel attacks

A system comprising:

• one or more computers and one or more storage devices storing instructions that are operable, when executed by the one or more computers, to cause the one or more computers to perform operations comprising:
• receiving a request to analyze a device hardware design of a device for side-channel vulnerabilities;
• obtaining physical characteristics data representing one or more physical characteristics of the device based on the device hardware design;
• performing information flow analysis to identify one or more signals of interest corresponding to digital assets;
• generating, from the physical characteristics data and the one or more signals of interest, data representing potentially vulnerable signals in the device hardware design including filtering the physical characteristics data of the device by the one or more signals of interest identified by the information flow analysis and by one or more time windows in which a signal of interest is present on one or more structures of the device hardware design;
• and
• generating a leakage model for the potentially vulnerable signals that quantifies one or more leakage criteria for one or more structures of the device hardware design.

One or more non-transitory computer storage media encoded with computer program instructions that when executed by one or more computers cause the one or more computers to perform operations comprising:

• receiving a request to analyze a device hardware design of a device for side-channel vulnerabilities;
• obtaining physical characteristics data representing one or more physical characteristics of the device based on the device hardware design;
• performing information flow analysis to identify one or more signals of interest corresponding to digital assets;
• generating, from the physical characteristics data and the one or more signals of interest, data representing potentially vulnerable signals in the device hardware design including filtering the physical characteristics data of the device by the one or more signals of interest identified by the information flow analysis and by one or more time windows in which a signal of interest is present on one or more structures of the device hardware design;
• and
• generating a leakage model for the potentially vulnerable signals that quantifies one or more leakage criteria for one or more structures of the device hardware design.