Team for Research in
Ubiquitous Secure Technology

Citation
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. "Inductive Proofs of Computational Secrecy". Proceedings of 12th European Symposium On Research In Computer Security, September, 2007.

Abstract
(No abstract.)

Electronic downloads

• http://www.andrew.cmu.edu/user/danupam/rddm-esorics07.pdf

• HTML

  Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell. <a
  href="http://www.truststc.org/pubs/418.html"
  >Inductive Proofs of Computational Secrecy</a>,
  Proceedings of 12th European Symposium On Research In
  Computer Security, September, 2007.

• Plain text

  Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell.
  "Inductive Proofs of Computational Secrecy".
  Proceedings of 12th European Symposium On Research In
  Computer Security, September, 2007.

• BibTeX

  @inproceedings{RoyDattaDerekMitchell07_InductiveProofsOfComputationalSecrecy,
      author = {Arnab Roy and Anupam Datta and Ante Derek and John
                C. Mitchell},
      title = {Inductive Proofs of Computational Secrecy},
      booktitle = {Proceedings of 12th European Symposium On Research
                In Computer Security},
      month = {September},
      year = {2007},
      abstract = {(No abstract.)},
      URL = {http://www.truststc.org/pubs/418.html}
  }
  

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