• Sign in
  • Sign up
conf.researchr.org / Jana Hofmann
  • NASA Formal Methods 2023 profile
  • PLDI 2026 profile
  • POPL 2026 profile
Jana Hofmann

Registered user since Thu 30 Mar 2023

Name:Jana Hofmann
Country:Germany
Affiliation:MPI-SP
Personal website: https://www.mpi-sp.org/hofmann
Research interests:Information Flow Security, Microarchitectural Side Channels, Hyperproperties

Contributions

2026

PLDI

  • Author of A Deductive System for Contract Satisfaction Proofs within the PLDI Research Papers-track

PLMW

  • Panelist of Research Taste: From Core PL to New Frontiers within the PLMW @ PLDI 2026-track

PriSC

  • Committee Member in Program Committee within the PriSC-track

2023

NFM

  • Author of Automata-Based Software Model Checking of Hyperproperties within the NFM 2023-track
Share
xSun 4 Oct 23:25
using conf.researchr.org (v1.76.1)
Support page
Sign Up