@incollection{DBLP:books/sp/17/Lindell17,
  author    = {Yehuda Lindell},
  title     = {How to Simulate It - {A} Tutorial on the Simulation Proof Technique},
  booktitle = {Tutorials on the Foundations of Cryptography},
  pages     = {277--346},
  publisher = {Springer International Publishing},
  year      = {2017}
}

@book{DBLP:books/cu/Goldreich2004,
  author    = {Oded Goldreich},
  title     = {The Foundations of Cryptography - Volume 2, Basic Applications},
  publisher = {Cambridge University Press},
  year      = {2004}
}

@book{DBLP:series/isc/HazayL10,
  author    = {Carmit Hazay and
               Yehuda Lindell},
  title     = {Efficient Secure Two-Party Protocols - Techniques and Constructions},
  series    = {Information Security and Cryptography},
  publisher = {Springer},
  year      = {2010}
}

@inproceedings{DBLP:conf/soda/NaorP01,
  author    = {Moni Naor and
               Benny Pinkas},
  title     = {Efficient oblivious transfer protocols},
  booktitle = {{SODA}},
  pages     = {448--457},
  publisher = {{ACM/SIAM}},
  year      = {2001}
}

@Article{Basin2017,
  author    = {David A. Basin and Andreas Lochbihler and S. Reza Sefidgar},
  title     = {{CryptHOL}: Game-based Proofs in Higher-order Logic},
  journal   = {{IACR} Cryptology ePrint Archive},
  year      = {2017},
  volume    = {2017},
  pages     = {753}
}

@article{Lochbihler2017AFP,
  author = {Andreas Lochbihler},
  title = {{CryptHOL}},
  journal = {Archive of Formal Proofs},
  year    = 2017,
  note    = {~\url{http://isa-afp.org/entries/CryptHOL.shtml},
            Formal proof development},
}

@inproceedings{Yao_MPC,
	author    = {Andrew Chi{-}Chih Yao},
	title     = {Protocols for Secure Computations (Extended Abstract)},
	booktitle = {{FOCS}},
	pages     = {160--164},
	publisher = {{IEEE} Computer Society},
	year      = {1982}
}

@inproceedings{DBLP:conf/stoc/GoldreichMW87,
	author    = {Oded Goldreich and
	Silvio Micali and
	Avi Wigderson},
	title     = {How to Play any Mental Game or {A} Completeness Theorem for Protocols
	with Honest Majority},
	booktitle = {{STOC}},
	pages     = {218--229},
	publisher = {{ACM}},
	year      = {1987}
}