@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}
}

@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},
}

@Article{laud2016secure,
  title={Secure multiparty sorting protocols with covert privacy},
  author={Peeter Laud and Martin Pettai},
  journal={Nordic Conference on Secure IT Systems},
  pages={216--231},
  year={2016},
}

@article{mohassel2018aby3,
  title={ABY3: A Mixed Protocol Framework for Machine Learning},
  author={Payman Mohassel and Peter Rindal},
  DOI={10.1145/3243734.3243760},
  journal={Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security},
  year={2018}
} 