Team for Research in
Ubiquitous Secure Technology

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

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