Automated Security Proofs with Sequences of Games (bibtex)
by Bruno Blanchet, David Pointcheval
Reference:
Automated Security Proofs with Sequences of Games (Bruno Blanchet, David Pointcheval), In CRYPTO'06 (Cynthia Dwork, ed.), Springer Verlag, volume 4117, 2006.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@string{spv="Springer Verlag"}
@InProceedings{BlanchetPointchevalCrypto06,
  author = 	 {Bruno Blanchet and David Pointcheval},
  title = 	 {Automated Security Proofs with Sequences of Games},
  booktitle = {CRYPTO'06},
  pages =	 {537--554},
  year = 	 2006,
  editor = 	 {Cynthia Dwork},
  volume =	 4117,
  series = 	 lncs,
  address = 	 {Santa Barbara, CA},
  month = 	 aug,
  publisher = spv,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPointchevalCrypto06.pdf},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetPointchevalCrypto06.pdf}
}
Powered by bibtexbrowser