Zur Webseite der Uni Stuttgart
< Multi-level simulation environment for Reconfigurable Scan Networks
12.02.19

An Automated Algebraic Fault Attacks Constructor

Kategorie: Open Seminar - Rechnerarchitektur, WS 18/19

15:45-16:30, Constance, M. Sc. Mael Gay, Institut für Technische Informatik


AutoFault is a framework which automatically constructs fault-injection attacks for hardware realizations of ciphers. AutoFault can be used to quickly evaluate the resistance of security-critical hardware blocks to fault attacks and the adequacy of implemented countermeasures. A circuit description of the cipher and the faults is taken as input, and AutoFault produces an algebraic formula that can be handled by an external solver. In contrast to previous work, attacks constructed by AutoFault do not incorporate any cipher-specific cryptoanalytic derivations, making the framework accessible to users without cryptographic background. We report successful application of AutoFault in combination with a state-of-the-art SAT solver to LED-64 and to small-scale AES.

Akzeptieren

Diese Webseite verwendet Cookies. Durch die Nutzung dieser Webseite erklären Sie sich damit einverstanden, dass Cookies gesetzt werden. Mehr erfahren, zum Datenschutz