Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. - Bruno Montalto; Carlos Caleiro (QAPL, 2009)

Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis. - Bruno Montalto (2014)