Julian Pritzi

PhD Student @ Technical University of Munich

I am a PhD student in the systems research group at the Technical University of Munich, supervised by Prof. Pramod Bhatotia.
My research interests lie at the intersection of trustworthy system design and formal methods. Specifically, I am interested in high-assurance system security, hardware-software co-design, and RISC-V architectures. I focus on using formal specifications, analysis, and correct-by-construction development for essential system components.

If you have any questions or would like to collaborate, feel free to contact me.

Active Projects

Trustformer
Under Development

Correct- and secure-by-construction synthesis of silicon roots of trust.
Trustformer is a research project that aims to develop a toolchain for the correct- and secure-by-construction synthesis of silicon roots of trust. It will eventually allow specifying the interaction behavior of a dedicated hardware component (e.g., small TPM) and automatically synthesizes an RTL implementation that is functionally correct and secure against timing sidechannels.

Trustformer Under Development

Trustformer
Under Development