Scholar
Jana Hofmann
Google Scholar ID: w2HMTMAAAAAJ
Tenure-Track Faculty at MPI-SP
Information Flow Security
Formal Methods
Side Channels
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
209
H-index
7
i10-index
7
Publications
19
Co-authors
0
Publications
3 items
A Deductive System for Contract Satisfaction Proofs
2026
Cited
0
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks
2025
Cited
0
Prompt-based Personality Profiling: Reinforcement Learning for Relevance Filtering
arXiv.org · 2024
Cited
0
