Scholar
Jana Hofmann
Google Scholar ID: w2HMTMAAAAAJ
Tenure-Track Faculty at MPI-SP
Citations & Impact
Citations
201
H-index
7
i10-index
7
Publications
19
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Her doctoral thesis was awarded the Dr.-Eduard-Martin prize for the best computer science dissertation of the year at Saarland University. Published multiple papers in top conferences such as CCS and CSF, with one paper, 'Principled Microarchitectural Isolation on Cloud CPUs,' winning a distinguished paper award at CCS'24.
Research Experience
- Currently a tenure-track researcher at MPI-SP. Previously, a researcher at Azure Research, Microsoft, where she worked on detection mechanisms and defenses for microarchitectural side-channels.
Education
- PhD from Saarland University in 2022, advised by Bernd Finkbeiner. Worked at CISPA during her PhD.
Background
- Research interest: principled reasoning for relational properties. Professional field: security and privacy, focusing on detecting, specifying, and preventing information leakage through microarchitectural side-channels. Profile: A researcher at MPI-SP, working on establishing trust in information systems (both hardware and software).
Miscellany
- Served as PC chair for PLAS@CCS’25. Also served as Sponsorship Chair for CAV'25 and joined the PC of the Formal Methods & Programming Languages track at CCS'25.
Co-authors