@inproceedings{Lochbihler2016ESOP,
  author = {Andreas Lochbihler},
  title = {Probabilistic Functions and Cryptographic Oracles in Higher Order Logic},
  editor = {Peter Thiemann},
  booktitle = {Programming Languages and Systems (ESOP 2016)},
  volume = 9632,
  series = {LNCS},
  year = 2016,
  publisher = {Springer},
  pages = {503--531},
  doi = {10.1007/978-3-662-49498-1_20},
}

@inproceedings{BellareBoldyrevaMicali2000EUROCRYPT,
  author = {Mihir Bellare and Alexandra Boldyreva and Silvio Micali},
  title = {Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements},
  editor = {Bart Preneel},
  booktitle = {Advances in Cryptology (EUROCRYPT 2000)},
  year = {2000},
  volume = {1807},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/3-540-45539-6_18},
  publisher = {Springer Berlin Heidelberg},
  pages = {259--274},
}

@inproceedings{PetcherMorrisett2015POST,
  author = {Adam Petcher and Greg Morrisett},
  title = {The Foundational Cryptography Framework},
  booktitle = {POST 2015},
  year = {2015},
  volume = {9036},
  series = {LNCS},
  publisher = {Springer},
  pages = {53--72},
}
