Florian Dorfhuber

Office:
E-Mail: firstname.lastname@muni.cz
ORCID:

Faculty of Informatics
Masaryk University
Botanická 68A
602 00 Brno-Královo Pole-Ponava / Czech Republic

I joined the group in 2020 right after finishing my medical training.
My aim is to enhance clinical care with decision-tools, that not only make reliable decisions, but also give as insight on how they work.

Research Areas

We work on the analysis and generation of Attack-Defence Trees.

Tools

QuADTool

We provide a highly user-friendly tool for Synthesis of Cyber-security models based on the attack-tree concept. It also features interfaces to a variety of other tools and model-checkers, as well as built-in analysis for uncertain values. Additionally, the CLI can be used to learn attack-trees from logfiles or other traces.

Publications

2024	QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Křetínský International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
2023	Learning Attack Trees by Genetic Algorithms Florian Dorfhuber, Julia Eisentraut, Jan Křetínský International Colloquium on Theoretical Aspects of Computing

Student Projects

Open Projects

Ongoing Projects

Finished Projects

Maria del Sol Barrientos Moreno: Are Attack-Defense Trees Useful for Communicating Risk to Non-experts?
(Type: Others)