Gemeinsam mit Ben Hermann habe ich ein neues Paper im Datentreuhandkompetenznetzwerk DaTNet veröffentlicht: In Code We Trust? Statische Programmanalyse in transaktionsbasierten Datentreuhandarchitekturen – natürlich Open Access.
Im Mittelpunkt steht eine Verschiebung des Vertrauensproblems: Wenn sensible Daten nicht weitergegeben werden, sondern fremder Auswertungscode in einer geschützten Umgebung zu den Daten kommt, muss auch dieser Code geprüft werden. Tut er tatsächlich nur, was er tun soll – und was er tun darf? Neben das Vertrauen in den Datentreuhänder als Organisation tritt damit die Frage nach der Vertrauenswürdigkeit der eingesetzten Software.
Wir untersuchen, welchen Beitrag statische Programmanalyse dazu leisten kann, Code bereits vor seiner Ausführung zu prüfen, und wo ihre technischen und grundsätzlichen Grenzen liegen. Denn welche Auswertungen zulässig und welche Ergebnisse verantwortbar sind, lässt sich nicht allein technisch entscheiden. Datentreuhand wird damit auch zu einer Frage der Software-Governance – und möglicherweise zu einer Form der „Code-Treuhand“.
Kai Denker / Ben Hermann: In Code We Trust? Statische Programmanalyse in transaktionsbasierten Datentreuhandarchitekturen. DaTNet-Paper 26, Oktober 2026.