Team for Research in
Ubiquitous Secure Technology

Inductive Proofs of Computational Secrecy
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

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

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

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.