Seuraa
Jana Hofmann
Jana Hofmann
Tenure-Track Faculty at MPI-SP
Vahvistettu sähköpostiosoite verkkotunnuksessa mpi-sp.org - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
The Hierarchy of Hyperlogics
N Coenen, B Finkbeiner, C Hahn, J Hofmann
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019
662019
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
J Virtema, J Hofmann, B Finkbeiner, J Kontinen, F Yang
41st IARCS Annual Conference on Foundations of Software Technology and …, 2020
182020
Realizing Omega-regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
32nd International Conference on Computer-Aided Verification (CAV), 2020
17*2020
Deciding hyperproperties combined with functional specifications
R Beutner, D Carral, B Finkbeiner, J Hofmann, M Krötzsch
37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2022
122022
Speculation at fault: Modeling and testing microarchitectural leakage of {CPU} exceptions
J Hofmann, E Vannacci, C Fournet, B Köpf, O Oleksenko
32nd USENIX Security Symposium (USENIX Security 23), 7143-7160, 2023
92023
Smart contract synthesis modulo hyperproperties
N Coenen, B Finkbeiner, J Hofmann, J Tillman
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023
82023
Runtime Enforcement of Hyperproperties
N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo
19th International Symposium on Automated Technology for Verification and …, 2021
82021
Automata-based software model checking of hyperproperties
B Finkbeiner, H Frenkel, J Hofmann, J Lohse
NASA Formal Methods Symposium, 361-379, 2023
52023
Reactive synthesis of smart contract control flows
B Finkbeiner, J Hofmann, F Kohn, N Passing
International Symposium on Automated Technology for Verification and …, 2023
32023
Logical Methods for the Hierarchy of Hyperlogics
J Hofmann
Saarländische Universitäts-und Landesbibliothek, 2022
22022
Principled microarchitectural isolation on cloud CPUs
S Volos, C Fournet, J Hofmann, B Köpf, O Oleksenko
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
12024
Gaussian Elimination of Side-channels: Linear algebra for memory coloring
J Hofmann, C Fournet, B Köpf, S Volos
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
12024
Logische Methoden für die Hierarchie der Hyperlogiken
J Hofmann
Ausgezeichnete Informatikdissertationen 2022 (Band D23), 101-110, 2023
2023
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
N Coenen, B Finkbeiner, C Hahn, J Hofmann
2020
Undecidability of Weak Bisimulation Equivalence in Unary One-Counter Petri Nets
J Hofmann
University of Edinburgh, 2017
2017
Verified Algorithms for Context-Free Grammars in Coq
J Hofmann
https://www.ps.uni-saarland.de/~hofmann/bachelor/coq/toc.html, 2016
2016
Dissertation Summary: Logical Methods for the Hierarchy of Hyperlogics
J Hofmann
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–17