Evaluation and generation of physically secure cryptographic hardware
Nicolai Müller · Dokumentenrepositorium der RUB (Ruhr University Bochum) · 2026
Diese Dissertation befasst sich mit der Entwicklung und Überprüfung effizienter Hardwareschaltungen mit integriertem Schutz vor physikalischen Angriffen. Sie stellt automatisierte Verfahren vor, die aus ungeschützten Entwürfen selbstständig geschützte Hardware generieren, sowie Methoden, mit denen die Sicherheit eines geschützten Entwurfs bereits vor der Herstellung automatisch bewertet werden kann. Diese Verfahren beschleunigen den Entwicklungsprozess erheblich, da kostspielige und zeitaufwändige Neuanfertigungen entfallen. Darüber hinaus trägt diese Dissertation zur Ausarbeitung eines neuen, weniger konservativen Angreifermodells bei, das dazu beiträgt, die Lücke zwischen theoretischer und praktischer Sicherheit zu schließen. Die in dieser Dissertation vorgestellten Werkzeuge ermöglichen es Hardwareentwicklern, auch solchen mit begrenzten Fachkenntnissen, mit minimalem Aufwand effiziente und gleichzeitig nachweislich sichere Hardware-Entwürfe zu erstellen.