julianpritzi.com

Julian Pritzi ist PhD-Student an der Technischen Universitaet Muenchen und forscht an vertrauenswuerdigem Systemdesign und formalen Methoden.

Im Mittelpunkt steht die Entwicklung von Systemkomponenten, die sich mit formalen Spezifikationen, Analysen und korrektheitsorientierter Entwicklung absichern lassen. Der Schwerpunkt liegt auf High-Assurance Systemsicherheit sowie auf der Verbindung von Hardware und Software in sicherheitskritischen Architekturen, einschliesslich RISC-V. Ziel ist es, wesentliche Bausteine so zu entwerfen, dass Korrektheit und Sicherheitsanforderungen von Anfang an systematisch beruecksichtigt werden und sich Eigenschaften des Designs nachvollziehbar begruenden lassen.

Ein konkreter Arbeitsstrang ist das Projekt Trustformer, das eine Toolchain fuer die korrektheits- und sicherheitsorientierte Synthese von Silicon Roots of Trust entwickelt. Dabei geht es um dedizierte Hardwarekomponenten wie beispielsweise kleine TPM-aehnliche Bausteine, deren Interaktionsverhalten zunaechst spezifiziert wird. Auf dieser Grundlage soll anschliessend automatisch eine RTL-Implementierung erzeugt werden, die funktional korrekt ist und zugleich gegen Timing-Sidechannels abgesichert wird. Damit verbindet die Arbeit formale Beschreibungsmittel mit Hardwareentwurf und Sicherheitsanalyse, um robuste, nachvollziehbare Systembausteine zu ermoeglichen.

Ergaenzend dokumentiert Julian Pritzi seine wissenschaftlichen Aktivitaeten ueber Publikationen und Lehrbezug. Die Inhalte richten sich an Personen, die sich fuer Systems Research, formale Methoden und die Absicherung von Hardware-Software-Schnittstellen interessieren, etwa in Forschung, Lehre oder bei der Entwicklung sicherheitskritischer Komponenten. Weitere Informationen sind unter https://julianpritzi.com zusammengefasst, einschliesslich Projekthintergrund, Publikationen und Lehraktivitaeten, die den fachlichen Kontext der Arbeit sichtbar machen und die Einordnung der Forschungsthemen erleichtern. Die Kombination aus formaler Absicherung, korrektheitsorientierter Entwicklung und Architekturbezug macht das Profil besonders relevant fuer alle, die an verifizierbaren, vertrauenswuerdigen Systemkomponenten arbeiten oder entsprechende Ansaetze in eigene Projekte uebertragen moechten, etwa bei Root-of-Trust-Designs, sicherer Hardwareentwicklung oder der systematischen Reduktion von Angriffsoberflaechen in modernen Architekturen und Toolchains. Dabei steht weniger ein einzelnes Produkt im Vordergrund als ein Forschungsfokus, der Methoden und Werkzeuge fuer verifizierbare Sicherheit in zentralen Systemschichten zusammenfuehrt.