Browsing by Author "BRESCIANI, RICCARDO"

Now showing items 1-2 of 2

    • Towards a UTP-style framework to deal with probabilities 

      BUTTERFIELD, ANDREW; BRESCIANI, RICCARDO (TCD-CS Technical Reports, 2011)
      We present an encoding of the semantics of the probabilistic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework. Our contribution is a UTP encoding that captures pGCL programs as ...

    • The ZRTP Protocol - Analysis on the Diffie-Hellman mode 

      BRESCIANI, RICCARDO (2009)
      ZRTP is a key agreement protocol by Philip Zimmermann, Alan Johnston and Jon Callas, which relies on a Di e-Hellman exchange to generate SRTP session parameters, providing con dentiality and protecting against Man-in-the-Middle ...