| The ZRTP protocol analysis on the Diffie-Hellman mode R Bresciani Computer Science Department Technical Report TCD-CS-2009-13, Trinity College …, 2009 | 18 | 2009 |
| A formal security proof for the ZRTP Protocol R Bresciani, A Butterfield 2009 International Conference for Internet Technology and Secured …, 2009 | 16 | 2009 |
| The ZRTP protocol security considerations R Bresciani, S Superiore, S Anna, I Pisa Technical Report, École Normale and Supérieure Cachan, 2007 | 15 | 2007 |
| A UTP semantics of pGCL as a homogeneous relation R Bresciani, A Butterfield International Conference on Integrated Formal Methods, 191-205, 2012 | 12 | 2012 |
| ProVerif analysis of the ZRTP protocol R Bresciani, A Butterfield International Journal for Infonomics (IJI) 3 (3), 306-313, 2010 | 9 | 2010 |
| Towards a UTP-style framework to deal with probabilities R Bresciani, A Butterfield Technical Report TCD-CS-2011-09, FMG, Trinity College Dublin, Ireland …, 2011 | 8 | 2011 |
| A probabilistic theory of designs based on distributions R Bresciani, A Butterfield International Symposium on Unifying Theories of Programming, 105-123, 2012 | 7 | 2012 |
| Weakening the Dolev-Yao model through probability R Bresciani, A Butterfield Proceedings of the 2nd international conference on Security of information …, 2009 | 5 | 2009 |
| A UTP approach towards probabilistic protocol verification R Bresciani, A Butterfield Security and Communication Networks 7 (1), 99-107, 2014 | 4 | 2014 |
| From distributions to probabilistic reactive programs R Bresciani, A Butterfield International Colloquium on Theoretical Aspects of Computing, 94-111, 2013 | 1 | 2013 |
| Nilpotency of square matrices with non-negative elements R Bresciani, M Poletti, A Butterfield Tech. rep. TCD-CS-2011-17. FMG, Trinity College Dublin, Ireland, 2011 | 1 | 2011 |
| The ZRTP Protocol R Bresciani Security Considerations, 2007 | 1 | 2007 |
| Probabilistic Program Verification in the style of the Unifying Theories of Programming R Bresciani Trinity College Dublin, 2013 | | 2013 |
| Static Analysis of Circuits for Security R BRESCIANI | | 2011 |
| Security Considerations R Bresciani | | 2007 |
| GVS R Bresciani | | 2007 |
