Jana Hofmann

According to our database, Jana Hofmann authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Principled Microarchitectural Isolation on Cloud CPUs.

Stavros Volos, Cédric Fournet, Jana Hofmann, Boris Köpf, Oleksii Oleksenko

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring.

Jana Hofmann, Cédric Fournet, Boris Köpf, Stavros Volos

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Speculation at Fault: Modeling and Testing Microarchitectural Leakage of CPU Exceptions.

Jana Hofmann, Emanuele Vannacci, Cédric Fournet, Boris Köpf, Oleksii Oleksenko

Proceedings of the 32nd USENIX Security Symposium, 2023

Automata-Based Software Model Checking of Hyperproperties.

Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, Janine Lohse

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Smart Contract Synthesis Modulo Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Logische Methoden für die Hierarchie der Hyperlogiken.

Jana Hofmann

Ausgezeichnete Informatikdissertationen, 2022

Logical methods for the hierarchy of hyperlogics.

Jana Hofmann

PhD thesis, 2022

Deciding Hyperproperties Combined with Functional Specifications.

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity.

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

Runtime Enforcement of Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Realizing ømega-regular Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

The Hierarchy of Hyperlogics.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019