Citation
Arnab Roy, Anupam Datta, John C. Mitchell. "Formal Proofs of Cryptographic Security of Diffie-Hellman based Protocols". Proceedings of Symposium On Trustworthy Global Computing, November, 2007.

Abstract
(No abstract.)

Electronic downloads
(No downloads are available for this publication.)

Citation formats

• HTML

  Arnab Roy, Anupam Datta, John C. Mitchell. <a
  href="http://www.truststc.org/pubs/416.html">Formal
  Proofs of Cryptographic Security of Diffie-Hellman based
  Protocols</a>, Proceedings of Symposium On Trustworthy
  Global Computing, November, 2007.

• Plain text

  Arnab Roy, Anupam Datta, John C. Mitchell. "Formal Proofs of
  Cryptographic Security of Diffie-Hellman based Protocols".
  Proceedings of Symposium On Trustworthy Global Computing,
  November, 2007.

• BibTeX

  @inproceedings{RoyDattaMitchell07_FormalProofsOfCryptographicSecurityOfDiffieHellmanBased,
      author = {Arnab Roy and Anupam Datta and John C. Mitchell},
      title = {Formal Proofs of Cryptographic Security of
                Diffie-Hellman based Protocols},
      booktitle = {Proceedings of Symposium On Trustworthy Global
                Computing},
      month = {November},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/416.html}
  }
  

Posted by Anupam Datta on 25 Jul 2008.
For additional information, see the Publications FAQ or contact webmaster at www truststc org..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.