1 files changed, 75 insertions, 0 deletions
diff --git a/bib.bib b/bib.bib
new file mode 100755
index 0000000..4ae6ee4
--- /dev/null
+++ b/bib.bib
@@ -0,0 +1,75 @@
+@article{Shoup04,
+  author    = {Victor Shoup},
+  title     = {Sequences of games: a tool for taming complexity in security
+               proofs},
+  journal   = {IACR Cryptology ePrint Archive},
+  volume    = 2004,
+  year      = 2004,
+  pages     = 332,
+  ee        = {http://eprint.iacr.org/2004/332},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@inproceedings{BartheGHB11,
+  author    = {Gilles Barthe and
+               Benjamin Gr{\'e}goire and
+               Sylvain Heraud and
+               Santiago Zanella B{\'e}guelin},
+  title     = {Computer-Aided Security Proofs for the Working Cryptographer},
+  booktitle = {CRYPTO},
+  year      = {2011},
+  pages     = {71-90},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-22792-9_5},
+  crossref  = {DBLP:conf/crypto/2011},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@proceedings{DBLP:conf/crypto/2011,
+  editor    = {Phillip Rogaway},
+  title     = {Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology
+               Conference, Santa Barbara, CA, USA, August 14-18, 2011.
+               Proceedings},
+  booktitle = {CRYPTO},
+  publisher = {Springer},
+  series    = {Lecture Notes in Computer Science},
+  volume    = {6841},
+  year      = {2011},
+  isbn      = {978-3-642-22791-2},
+  ee        = {http://dx.doi.org/10.1007/978-3-642-22792-9},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@inproceedings{BartheGB09,
+  author    = {Gilles Barthe and
+               Benjamin Gr{\'e}goire and
+               Santiago Zanella B{\'e}guelin},
+  title     = {Formal certification of code-based cryptographic proofs},
+  booktitle = {POPL},
+  year      = {2009},
+  pages     = {90-101},
+  ee        = {http://doi.acm.org/10.1145/1480881.1480894},
+  crossref  = {DBLP:conf/popl/2009},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@proceedings{DBLP:conf/popl/2009,
+  editor    = {Zhong Shao and
+               Benjamin C. Pierce},
+  title     = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on
+               Principles of Programming Languages, POPL 2009, Savannah,
+               GA, USA, January 21-23, 2009},
+  booktitle = {POPL},
+  publisher = {ACM},
+  year      = {2009},
+  isbn      = {978-1-60558-379-2},
+  ee        = {http://dl.acm.org/citation.cfm?id=1480881},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}
+@article{GoldwasserM84,
+  author    = {Shafi Goldwasser and
+               Silvio Micali},
+  title     = {Probabilistic Encryption},
+  journal   = {J. Comput. Syst. Sci.},
+  volume    = {28},
+  number    = {2},
+  year      = {1984},
+  pages     = {270-299},
+  ee        = {http://dx.doi.org/10.1016/0022-0000(84)90070-9},
+  bibsource = {DBLP, http://dblp.uni-trier.de}
+}