Jana Hofmann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 17

Top Topics

Top Venues

USENIX Security Symposium

Publications

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) (2023)
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions. USENIX Security Symposium (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. CoRR (2023)
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
Automata-Based Software Model Checking of Hyperproperties. NFM (2023)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CSF (2023)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. CoRR (2022)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. LICS (2022)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CoRR (2022)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. ATVA (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing Omega-regular Hyperproperties. CoRR (2021)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing ømega-regular Hyperproperties. CAV (2) (2020)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR (2020)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. CoRR (2020)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. LICS (2019)