Comparative Timing Characterization of Early-Exit and Fixed-Work Secret Comparisons on ESP32 and ESP8266

In der verborgenen Welt der Computersicherheit gibt es eine stille Gefahr, die nichts mit gebrochenen Schlössern oder gestohlenen Schlüsseln zu tun hat. Es geht um die Zeit. Wenn ein Computer prüft, ob ein geheimer Code mit einem Passwort übereinstimmt, tut er dies normalerweise, indem er die beiden Zeichenfolgen Zeichen für Zeichen vergleicht. Wenn der erste Buchstabe falsch ist, stoppt ein Standardprogramm sofort und sagt „nein“. Wenn die ersten zehn Buchstaben richtig und der elfte falsch sind, arbeitet das Programm weiter, bis es diesen Fehler findet. Dieser Unterschied darin, wie lange der Computer zum Nachdenken braucht, kann ein Leck sein. Ein geschickter Beobachter, der beobachtet, wie lange eine Antwort dauert, könnte theoretisch die Sekunden zählen, um herauszufinden, wie viele Buchstaben vor dem Fehler korrekt waren. Dies ist als Timing-Seitenkanal bekannt – eine Art, Informationen zu stehlen, nicht indem man den Code bricht, sondern indem man dem Taktwerk lauscht. Seit Jahrzehnten warnen Sicherheitsexperten davor, dass Software so geschrieben werden muss, dass sie unabhängig davon, wo der Fehler auftritt, exakt die gleiche Zeit benötigt; eine Praxis, die als Constant-Time-Programmierung bezeichnet wird. Doch auf den winzigen, kostengünstigen Chips, die alles von Smart-Home-Geräten bis hin zu einfachen Sensoren antreiben, ist nicht immer klar, ob diese Regeln in der realen Welt Bestand haben oder ob die Hardware selbst neue Überraschungen bereithält.

Eine aktuelle Studie untersuchte die Realität dieser Situation an zwei der weltweit am häufigsten verwendeten Mikrochips: dem ESP32 und dem ESP8266. Diese Chips sind die Gehirne hinter unzähligen erschwinglichen, internetfähigen Geräten. Der Forscher baute allein arbeitend zwei verschiedene Wege für diese Chips, um geheime 16-Byte-Codes zu vergleichen. Die erste Methode war der standardmäßige, anfällige Ansatz: Er würde stoppen, sobald er eine Abweichung fand. Die zweite Methode war der „Fixed-Work“-Ansatz, der darauf ausgelegt ist, sicher zu sein: Er würde den Chip zwingen, jedes einzelne Byte des Inputs zu prüfen, ungeachtet dessen, wie früh ein Fehler auftrat, um sicherzustellen, dass die Gesamtdauer gleich bleibt. Um zu sehen, wie sich diese Methoden verhielten, schickte der Forscher tausende Testcodes an die Chips. Jeder Testcode wurde so konstruiert, dass er für eine bestimmte Anzahl von Buchstaben am Anfang mit dem geheimen Passwort übereinstimmte – manchmal gar keine, manchmal alle sechzehn – bevor er abwich. Die Chips maßen ihre eigenen internen Taktzyklen, um exakt aufzuzeichnen, wie lange jeder Vergleich dauerte, wobei der Prozess für jede mögliche Startlänge hunderte Male wiederholt wurde.

Die Ergebnisse zeichneten ein klares Bild der Anfälligkeit der Standardmethode. Auf dem schnelleren ESP32 dauerte es jedes Mal, wenn der Testcode einen weiteren Buchstaben des Geheimnisses traf, bevor er scheiterte, genau vierzig Taktzyklen länger, um die Aufgabe zu beenden. Auf dem langsameren ESP8266 betrug die Verzögerung fünfundzwanzig Zyklen pro zusätzlichem passenden Buchstaben. Dies erzeugte eine perfekte, vorhersehbare Treppe der Zeit. Wenn der Code null Buchstaben traf, war der Chip schnell fertig; wenn er fünfzehn traf, dauerte es signifikant länger. Tatsächlich war das Timing so konsistent, dass in vielen der Testgruppen jeder einzelne der dreihundert Versuche exakt dieselbe Taktzählung lieferte. Beim ESP32 reichte eine einzige Messung der benötigten Zeit aus, um dem Forscher genau zu sagen, wie viele Buchstaben in dieser spezifischen Sitzung mit dem Geheimnis übereinstimmten. Dies bestätigte, dass die standardmäßige „Stop-Early“-Methode Informationen direkt durch die Zeit, die sie zur Ausführung benötigt, preisgibt.

Im Gegensatz dazu verhielt sich die „Fixed-Work“-Methode genau so, wie es Sicherheitsexperten hoffen. Als der Forscher die Version verwendete, die den Chip zwang, alle sechzehn Bytes zu prüfen, änderte sich die benötigte Zeit nicht basierend darauf, wie viele Buchstaben übereinstimmten. Ob der Testcode beim ersten oder beim letzten Buchstaben scheiterte, der Chip verbrachte die gleiche Zeit mit der Verarbeitung der Daten. Die Medianzeit blieb über alle Szenarien hinweg flach. Die Studie enthüllte jedoch auch einen Preis für diese Sicherheit. Die „Fixed-Work“-Methode dauerte immer länger als die anfällige Methode, insbesondere wenn der Testcode sofort scheiterte. Beim ESP32 dauerte die sichere Methode fast achthundert Zyklen, selbst wenn der erste Buchstabe falsch war, während die vulnerable Methode in weniger als siebzig Zyklen fertig war. Die sichere Methode verschwendete im Wesentlichen Zeit damit, den Rest der Buchstaben zu prüfen, um sicherzustellen, dass die Gesamtdauer konstant blieb. Dieser Kompromiss zwischen Geschwindigkeit und Sicherheit ist eine fundamentale Realität in eingebetteten Systemen, in denen jeder zusätzliche Zyklus der Verarbeitung die Batterie leert oder ein Gerät verlangsamt.

Die Studie deckte auch einige unerwartete Eigenheiten auf, wie diese Chips unter Druck reagieren. Während die Durchschnittszeiten stabil waren, gab es eine kleine Anzahl einzelner Messungen, die viel höher als der Rest waren und fast das Doppelte oder Dreifache der erwarteten Zeit erreichten. Diese Spitzen traten hauptsächlich dann auf, wenn die Chips normalen Hintergrundunterbrechungen ausgesetzt waren, anstatt in einem isolierten, ruhigen Zustand zu sein. Dies deutet darauf hin, dass, obwohl die Kernlogik des sicheren Codes funktioniert, die Umgebung des Chips dennoch gelegentliche, unvorhersehbare Verzögerungen verursachen kann. Der Forscher merkte an, dass diese Messungen direkt im Speicher des Chips vorgenommen wurden, nicht über ein Netzwerk, was bedeutet, dass der Zeitfehler zwar auf dem Gerät real und messbar ist, aber nicht automatisch beweist, dass ein Hacker ein Passwort aus der Ferde über das Internet stehlen kann. Das Rauschen einer realen Verbindung würde diese subtilen Unterschiede wahrscheinlich verdecken.

Letztlich liefert diese Forschung eine konkrete Karte davon, wie Zeitlecks auf spezifischer, weit verbreiteter Hardware auftreten. Sie zeigt, dass der einfache Akt, einen Vergleich vorzeitig abzubrechen, ein präzises, messbares Signal erzeugt, das das Geheimnis offenbart. Sie demonstriert auch, dass eine einfache Änderung im Code – das Erzwingen des Abschlusses der Aufgabe, ungeachtet des Ergebnisses – dieses Signal eliminieren kann, wenngleich dies mit einem Leistungsverlust einhergeht. Die Ergebnisse sind eine Erinnerung daran, dass in der Welt der eingebetteten Sicherheit die Art und Weise, wie ein Programm geschrieben wird, genauso wichtig ist wie die Mathematik, die es verwendet. Die Chips taten genau das, was man ihnen sagte, und offenbarten dabei, dass ohne sorgfältiges Design selbst die einfachsten Operationen Geheimnisse flüstern können, an jeden, der dem Taktwerk lauscht.