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.
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): | Keine Creative Commons Lizenz - es gelten der Veröffentlichungsvertrag und das deutsche Urheberrecht |