Merlin Humml

A Formal Treatment of Expressiveness and Relevance of Digital Evidence

Jan Gruber, Merlin Humml, 2023, Digital Threats: Research and Practice.

Formal Veri(cid:28)cation of Necessary and Su(cid:30)cient Evidence in Forensic Event Reconstruction

F. Freiling, Lutz Schröder, Jan Gruber, 2023 .

Common Knowledge of Abstract Groups

Lutz Schröder, Merlin Humml, 2022, AAAI.