Fabian Huch

14 papers B 1C 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.
CoRR
Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz
2025 C conf
Supporting Maintenance of Formal Mathematics with Similarity Search.
CICM
Fabian Huch
2024 B conf
Distributed Parallel Build for the Isabelle Archive of Formal Proofs.
ITP
Fabian Huch, Makarius Wenzel
2024 J jnl
Isabelle as Systems Platform: Managing Automated and Quasi-interactive Builds.
CoRR
Fabian Huch
2023 C conf
Formalization Quality in Isabelle.
CICM
Fabian Huch, Yiannos Stathopoulos
2022 J jnl
A Linter for Isabelle: Implementation and Evaluation.
CoRR
Yecine Megdiche, Fabian Huch, Lukas Stevens
2022 J jnl
FindFacts: A Scalable Theorem Search.
CoRR
Fabian Huch, Alexander Krauss
2022 C conf
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs.
CICM
Fabian Huch
2022 C conf
Re-imagining the Isabelle Archive of Formal Proofs.
CICM
Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot
2022 J jnl
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs.
CoRR
Fabian Huch
2022 — conf
The Isabelle Community Benchmark.
PAAR@IJCAR
Fabian Huch, Vincent Bode
2022 J jnl
The Isabelle Community Benchmark.
CoRR
Fabian Huch, Vincent Bode
2021 — conf
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper).
CICM Workshops
Fabian Huch
2018 — conf
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.
MaLTeSQuE
Fabian Huch, Mojdeh Golagha, Ana Petrovska, Alexander Krauss
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling