ERC Starting Grant · 2016
The complexity of computing hardware keeps increasing at a rapid pace, with no end in sight. With growing number of components and ongoing miniaturization, hardware engineers struggle with an increasing number and variety of faults, yet must guarantee correct operation of the system as a whole. This is hindered by a concurrent increase in design complexity, i.e., the trend of integrating ever more diverse circuits into larger systems, which results in a higher complexity of verifying the correctness of a given design -- especially when providing for the possibility that some components may fail. The goal of this project is to develop a holistic mathematical approach to modeling…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.
← All labs at Helmholtz Center for Information Security (CISPA)