Microarchitectural Weird Machines

• Antragsteller: Professor Dr. Yuval Yarom
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung seit 2025
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 560392681

Die Mikroarchitektur moderner Computer ist äußerst komplex und führt zu emergentem Verhalten. Neuere Forschungen haben gezeigt, dass ein solches Verhalten komplex genug ist, um ‘weird machines’ zu ermöglichen, die beliebige Berechnungen durchführen können. Während frühere Forschungen mehrere Möglichkeiten zum Bau dieser ‘weird machines’ identifiziert und ihre Auswirkungen auf die Systemsicherheit hervorgehoben haben, gibt es immer noch erhebliche Lücken in unserem Verständnis dieser ‘weird machines’ und der von ihnen ausgehenden Risiken. Mit diesem Vorschlag wollen wir diese Lücken schließen. Wir werden mikroarchitektonische ‘weird machines’ untersuchen, um besser zu verstehen, wie sie konstruiert sind, welche Auswirkungen sie auf die Sicherheit haben und wie ihre Erkennung automatisiert werden kann. Durch eine systematische Analyse dieser neu entdeckten Phänomene erwarten wir, das wissenschaftliche Wissen zu erweitern und für mehr Sicherheit für Computersysteme zu sorgen.

• DFG-Verfahren: Sachbeihilfen
• Internationaler Bezug: Israel
• Mitverantwortlich: Dr. Anirban Chakraborty
• ausländischer Mitantragsteller: Dr. Eyal Ronen, Ph.D.