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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:David KnichelORCiDGND
URN:urn:nbn:de:hbz:294-106665
DOI:https://doi.org/10.13154/294-10666
Referee:Amir MoradiORCiDGND, François-Xavier StandaertGND, Sebastian FaustGND
Document Type:Doctoral Thesis
Language:English
Date of Publication (online):2023/09/25
Date of first Publication:2023/09/25
Publishing Institution:Ruhr-Universität Bochum, Universitätsbibliothek
Granting Institution:Ruhr-Universität Bochum, Fakultät für Informatik
Date of final exam:2023/06/19
Creating Corporation:Fakultät für Informatik
GND-Keyword:Kryptologie; Hardware; Seitenkanalattacke; Gegenmaßnahme; Automation
Institutes/Facilities:Horst Görtz Institut für IT-Sicherheit
Fakultät für Informatik, Implementation Security Group
Dewey Decimal Classification:Allgemeines, Informatik, Informationswissenschaft / Informatik
faculties:Fakultät für Informatik
Licence (German):License LogoKeine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht

OPUS4 Logo