Scholar

Jana Hofmann

Google Scholar ID: w2HMTMAAAAAJ

Tenure-Track Faculty at MPI-SP

Information Flow SecurityFormal MethodsSide Channels

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

209

H-index

7

i10-index

7

Publications

19

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)