A formal security proof for the ZRTP Protocol. - Riccardo Bresciani; Andrew Butterfield (ICITST, 2009)

Weakening the Dolev-Yao model through probability. - Riccardo Bresciani; Andrew Butterfield (SIN, 2009)

A UTP Semantics of pGCL as a Homogeneous Relation. - Riccardo Bresciani; Andrew Butterfield (IFM, 2012)

A Probabilistic Theory of Designs Based on Distributions. - Riccardo Bresciani; Andrew Butterfield (UTP, 2012)

From Distributions to Probabilistic Reactive Programs. - Riccardo Bresciani; Andrew Butterfield (ICTAC, 2013)

Probabilistic program verification in the style of the unifying theories of programming - Riccardo Bresciani (2013)

A UTP approach towards probabilistic protocol verification. - Riccardo Bresciani; Andrew Butterfield (Secur. Commun. Networks, 2014)