publications

2025

1. S&P

   Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

   Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, and 1 more author

   CoRR, 2025

   Accepted at S&P 2025, appears at S&P 2026 due to embargo

   DOI Bib

   @article{DBLP:journals/corr/abs-2507-06039,
     author = {Oleksenko, Oleksii and Solt, Flavien and Fournet, C{\'{e}}dric and Hofmann, Jana and K{\"{o}}pf, Boris and Volos, Stavros},
     title = {Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural
                       Leaks},
     journal = {CoRR},
     volume = {abs/2507.06039},
     year = {2025},
     url = {https://doi.org/10.48550/arXiv.2507.06039},
     doi = {10.48550/ARXIV.2507.06039},
     eprinttype = {arXiv},
     timestamp = {Tue, 12 Aug 2025 21:29:32 +0200},
     biburl = {https://dblp.org/rec/journals/corr/abs-2507-06039.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     note = {Accepted at S\&P 2025, appears at S\&P 2026 due to embargo},
   }

2024

1. CCS

   Principled Microarchitectural Isolation on Cloud CPUs

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

   In ACM SIGSAC Conference on Computer and Communications Security, 2024

   Distinguished Paper Award DOI Bib

   Received distinguished paper award at CCS’24

   @inproceedings{DBLP:conf/ccs/VolosFHKO24,
     author = {Volos, Stavros and Fournet, C{\'{e}}dric and Hofmann, Jana and K{\"{o}}pf, Boris and Oleksenko, Oleksii},
     editor = {Luo, Bo and Liao, Xiaojing and Xu, Jun and Kirda, Engin and Lie, David},
     title = {Principled Microarchitectural Isolation on Cloud CPUs},
     booktitle = {{ACM} {SIGSAC} Conference on Computer and
                       Communications Security},
     publisher = {{ACM}},
     year = {2024},
     doi = {10.1145/3658644.3690183},
   }

2. CCS

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

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

   In ACM SIGSAC Conference on Computer and Communications Security, 2024

   DOI Bib

   @inproceedings{DBLP:conf/ccs/HofmannFKV24,
     author = {Hofmann, Jana and Fournet, C{\'{e}}dric and K{\"{o}}pf, Boris and Volos, Stavros},
     editor = {Luo, Bo and Liao, Xiaojing and Xu, Jun and Kirda, Engin and Lie, David},
     title = {Gaussian Elimination of Side-Channels: Linear Algebra for Memory Coloring},
     booktitle = {{ACM} {SIGSAC} Conference on Computer and
                       Communications Security},
     publisher = {{ACM}},
     year = {2024},
     doi = {10.1145/3658644.3690263},
   }

2023

1. ATVA

   Reactive Synthesis of Smart Contract Control Flows

   Bernd Finkbeiner, Jana Hofmann, Florian Kohn, and Noemi Passing

   In Automated Technology for Verification and Analysis - 21st International Symposium, 2023

   DOI Bib

   @inproceedings{DBLP:conf/atva/FinkbeinerHKP23,
     author = {Finkbeiner, Bernd and Hofmann, Jana and Kohn, Florian and Passing, Noemi},
     editor = {{\'{E}}tienne Andr{\'{e}} and Sun, Jun},
     title = {Reactive Synthesis of Smart Contract Control Flows},
     booktitle = {Automated Technology for Verification and Analysis - 21st International
                       Symposium},
     series = {Lecture Notes in Computer Science},
     pages = {248--269},
     publisher = {Springer},
     year = {2023},
     doi = {10.1007/978-3-031-45329-8\_12},
   }

2. CSF

   Smart Contract Synthesis Modulo Hyperproperties

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

   In 36th IEEE Computer Security Foundations Symposium, 2023

   Distinguished Paper Award DOI Bib

   Received distinguished paper award at CSF’23

   @inproceedings{DBLP:conf/csfw/CoenenFHT23,
     author = {Coenen, Norine and Finkbeiner, Bernd and Hofmann, Jana and Tillman, Julia J.},
     title = {Smart Contract Synthesis Modulo Hyperproperties},
     booktitle = {36th {IEEE} Computer Security Foundations Symposium},
     publisher = {{IEEE}},
     year = {2023},
     doi = {10.1109/CSF57540.2023.00006},
   }

3. NFM

   Automata-Based Software Model Checking of Hyperproperties

   Bernd Finkbeiner, Hadar Frenkel, Jana Hofmann, and Janine Lohse

   In NASA Formal Methods - 15th International Symposium, 2023

   DOI Bib

   @inproceedings{DBLP:conf/nfm/FinkbeinerFHL23,
     author = {Finkbeiner, Bernd and Frenkel, Hadar and Hofmann, Jana and Lohse, Janine},
     editor = {Rozier, Kristin Yvonne and Chaudhuri, Swarat},
     title = {Automata-Based Software Model Checking of Hyperproperties},
     booktitle = {{NASA} Formal Methods - 15th International Symposium},
     series = {Lecture Notes in Computer Science},
     pages = {361--379},
     publisher = {Springer},
     year = {2023},
     doi = {10.1007/978-3-031-33170-1\_22},
   }

4. USENIX Security

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

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

   In 32nd USENIX Security Symposium, 2023

   Bib

   @inproceedings{DBLP:conf/uss/HofmannVFKO23,
     author = {Hofmann, Jana and Vannacci, Emanuele and Fournet, C{\'{e}}dric and K{\"{o}}pf, Boris and Oleksenko, Oleksii},
     editor = {Calandrino, Joseph A. and Troncoso, Carmela},
     title = {Speculation at Fault: Modeling and Testing Microarchitectural Leakage
                       of {CPU} Exceptions},
     booktitle = {32nd {USENIX} Security Symposium},
     publisher = {{USENIX} Association},
     year = {2023},
   }

2022

1. PhD Thesis

   Logical methods for the hierarchy of hyperlogics

   Jana Hofmann

   Saarland University, Saarbrücken, Germany, 2022

   Bib PDF

   @phdthesis{DBLP:phd/dnb/Hofmann22,
     author = {Hofmann, Jana},
     title = {Logical methods for the hierarchy of hyperlogics},
     school = {Saarland University, Saarbr{\"{u}}cken, Germany},
     year = {2022},
     url = {https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/35154},
     urn = {urn:nbn:de:bsz:291--ds-388891},
     timestamp = {Thu, 20 Apr 2023 09:07:27 +0200},
     biburl = {https://dblp.org/rec/phd/dnb/Hofmann22.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     publisher = {Saarland University},
   }

2. LICS

   Deciding Hyperproperties Combined with Functional Specifications

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

   In 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022

   DOI Bib

   @inproceedings{DBLP:conf/lics/BeutnerCFHK22,
     author = {Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Kr{\"{o}}tzsch, Markus},
     editor = {Baier, Christel and Fisman, Dana},
     title = {Deciding Hyperproperties Combined with Functional Specifications},
     booktitle = {37th Annual {ACM/IEEE} Symposium on Logic in Computer
                       Science},
     publisher = {{ACM}},
     year = {2022},
     doi = {10.1145/3531130.3533369},
   }

3. Logische Methoden für die Hierarchie der Hyperlogiken

   Jana Hofmann

   In Ausgezeichnete Informatikdissertationen, 2022

   In German

   Bib PDF

   @incollection{DBLP:series/gidiss/Hofmann22,
     author = {Hofmann, Jana},
     title = {Logische Methoden f{\"{u}}r die Hierarchie der Hyperlogiken},
     booktitle = {Ausgezeichnete Informatikdissertationen},
     pages = {101--110},
     year = {2022},
     url = {https://dl.gi.de/items/6597fd95-cda3-46ba-88b9-d0819848fdcf},
     note = {In German}
   }

2021

1. ATVA

   Runtime Enforcement of Hyperproperties

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

   In Automated Technology for Verification and Analysis - 19th International Symposium, 2021

   DOI Bib

   @inproceedings{DBLP:conf/atva/CoenenFHHS21,
     author = {Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Schillo, Yannick},
     editor = {Hou, Zhe and Ganesh, Vijay},
     title = {Runtime Enforcement of Hyperproperties},
     booktitle = {Automated Technology for Verification and Analysis - 19th International
                       Symposium},
     series = {Lecture Notes in Computer Science},
     pages = {283--299},
     publisher = {Springer},
     year = {2021},
     doi = {10.1007/978-3-030-88885-5\_19},
   }

2. FSTTCS

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

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

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

   DOI Bib

   @inproceedings{DBLP:conf/fsttcs/VirtemaHFK021,
     author = {Virtema, Jonni and Hofmann, Jana and Finkbeiner, Bernd and Kontinen, Juha and Yang, Fan},
     editor = {Bojanczyk, Mikolaj and Chekuri, Chandra},
     title = {Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity},
     booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
                       and Theoretical Computer Science},
     series = {LIPIcs},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
     year = {2021},
     doi = {10.4230/LIPICS.FSTTCS.2021.52},
   }

2020

1. CAV

   Realizing Omega-regular Hyperproperties

   Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, and Leander Tentrup

   In Computer Aided Verification - 32nd International Conference, 2020

   DOI Bib

   @inproceedings{DBLP:conf/cav/FinkbeinerHHT20,
     author = {Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana and Tentrup, Leander},
     editor = {Lahiri, Shuvendu K. and Wang, Chao},
     title = {Realizing Omega-regular Hyperproperties},
     booktitle = {Computer Aided Verification - 32nd International Conference},
     pages = {40--63},
     publisher = {Springer},
     year = {2020},
     doi = {10.1007/978-3-030-53291-8\_4},
   }

2019

1. LICS

   The Hierarchy of Hyperlogics

   Norine Coenen, Bernd Finkbeiner, Christopher Hahn, and Jana Hofmann

   In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

   DOI Bib

   @inproceedings{DBLP:conf/lics/CoenenFHH19,
     author = {Coenen, Norine and Finkbeiner, Bernd and Hahn, Christopher and Hofmann, Jana},
     title = {The Hierarchy of Hyperlogics},
     booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science},
     pages = {1--13},
     publisher = {{IEEE}},
     year = {2019},
     doi = {10.1109/LICS.2019.8785713},
   }