Riccardo Bresciani

According to our database, Riccardo Bresciani authored at least 7 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A UTP approach towards probabilistic protocol verification.

Riccardo Bresciani, Andrew Butterfield

Secur. Commun. Networks, 2014

2013

Probabilistic program verification in the style of the unifying theories of programming

Riccardo Bresciani

PhD thesis, 2013

From Distributions to Probabilistic Reactive Programs.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

A Probabilistic Theory of Designs Based on Distributions.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A UTP Semantics of pGCL as a Homogeneous Relation.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2009

Weakening the Dolev-Yao model through probability.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the 2nd International Conference on Security of Information and Networks, 2009

A formal security proof for the ZRTP Protocol.

Riccardo Bresciani, Andrew Butterfield

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009