Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions. - Julia Eisentraut; Stephan Holzer; Katharina Klioba; Jan Kretínský; Lukas Pin; Alexander Wagner (ICTAC, 2021)

Pathwise Uniform Convergence of Time Discretisation Schemes for SPDEs. - Katharina Klioba; Mark Veraar (CoRR, 2023)

Temporal approximation of stochastic evolution equations with irregular nonlinearities. - Katharina Klioba; Mark Veraar (CoRR, 2023)

QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. - Florian Dorfhuber; Julia Eisentraut; Katharina Klioba; Jan Kretínský (QEST+FORMATS, 2024)

Approximation of Random Evolution Equations. - Katharina Klioba; Christian Seifert (CoRR, 2024)