Jana Hofmann

23 papers A* 6A 1B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks.
CoRR
Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos
2025 A* conf
The 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025).
CCS
Abhishek Bichhawat, Jana Hofmann
2024 A* conf
Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring.
CCS
Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos
2024 A* conf
Principled Microarchitectural Isolation on Cloud CPUs.
CCS
Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko
2023 — conf
Automata-Based Software Model Checking of Hyperproperties.
NFM
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 J jnl
Automata-Based Software Model Checking of Hyperproperties.
CoRR
Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse
2023 — conf
Reactive Synthesis of Smart Contract Control Flows.
ATVA (1)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2023 A conf
Smart Contract Synthesis Modulo Hyperproperties.
CSF
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
2023 A* conf
Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions.
USENIX Security Symposium
Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko
2022 A* conf
Deciding Hyperproperties Combined with Functional Specifications.
LICS
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 J jnl
Deciding Hyperproperties Combined with Functional Specifications.
CoRR
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 — —
Logical methods for the hierarchy of hyperlogics.
Jana Hofmann
2022 — ch.
Logische Methoden für die Hierarchie der Hyperlogiken.
Ausgezeichnete Informatikdissertationen
Jana Hofmann
2022 J jnl
Reactive Synthesis of Smart Contract Control Flows.
CoRR
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2022 J jnl
Runtime Enforcement of Hyperproperties.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2022 J jnl
Smart Contract Synthesis Modulo Hyperproperties.
CoRR
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
2021 — conf
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.
FSTTCS
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2021 J jnl
Realizing Omega-regular Hyperproperties.
CoRR
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2021 B conf
Runtime Enforcement of Hyperproperties.
ATVA
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
2020 J jnl
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity.
CoRR
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2020 — conf
Realizing ømega-regular Hyperproperties.
CAV (2)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
2020 J jnl
The Hierarchy of Hyperlogics.
CoRR
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
2019 A* conf
The Hierarchy of Hyperlogics.
LICS
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann