Sort by: Order: Results:

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 ...