Formal verification and automated masking of cryptographic hardware

Kryptographie hat sich als unverzichtbares Instrument zur Wahrung der Privatsphäre in unserer digital vernetzten Welt etabliert. Mit dem rasanten Fortschritt von Künstlicher Intelligenz und dem Internet der Dinge werden enorme Mengen an persönlichen Daten verarbeitet, was die Integration kryptographischer Algorithmen in eine Vielzahl von Geräten erforderlich macht. Allerdings können die physikalischen Eigenschaften dieser Geräte, wie beispielsweise der Stromverbrauch, durch sogenannte Seitenkanalangriffe ausgenutzt werden, was die angenommene Sicherheit dieser Algorithmen untergräbt. Diese Arbeit hebt nicht nur die Wichtigkeit geeigneter Gegenmaßnahmen hervor, sondern stellt auch Fortschritte bei Verifikationsmethoden und der automatischen Implementierung von Schutzmaßnahmen gegen Seitenkanalangriffe in beliebigen digitalen Schaltungen vor