Jonah Rosenblum

Jonah Rosenblum is a Ph.D. candidate at the University of Michigan and associate researcher at HPE. His research focuses on building secure systems that enforce data-use policies without relying solely on traditional trust anchors such as identity or credentials. Additionally, he is interested in applying mathematical proof techniques to software, especially as a way to specify, verify, and enforce meaningful security guarantees in real systems. Jonah’s has published widely, including in SOSP, ASPLOS, and Nature Computational Science.