SEFM Conference retweetledi

📄📢 Best Paper Award at @sefm_conf, with a contribution on a new logic for quantitative security properties on attack trees!
Grateful to my co-authors at @UTwente: M.Lopuhaä-Zwakenberg, E.M. Hahn and @m_stoelinga.
See the paper here: arxiv.org/pdf/2309.09231


English





