Publications
Probabilistic reasoning with graphical security models. Information sciences. 342:111–131.
.
2016. A Probabilistic Framework for Security Scenarios with Dependent Actions. 11th International Conference on Integrated Formal Methods, IFM 2014, Bertinoro, Italy. 8739:256–271.
.
2014.