@article{Cramerthesis,
	author    = {R.Cramer},
	title     = {Modular Design of Secure, yet Practical Cryptographic Protocols},
	journal   = {PhD thesisPhD
	Thesis, University of Amsterdam},

	year      = {1996}
}

@article{sigma_protocols,
	author    = {I. Damgard},
	title     = {On {$\Sigma$}-protocols},
	journal   = { Lecture Notes, University of Aarhus, Department for Computer Science.},
	year      = {2002}
}

@article{DBLP:journals/iacr/Shoup04,
  author    = {Victor Shoup},
  title     = {Sequences of games: a tool for taming complexity in security proofs},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2004},
  pages     = {332},
  year      = {2004}
}

@article{rivest1999,
	title={Unconditionally secure commitment and oblivious transfer schemes using private channels and a trusted initializer},
	author={Rivest, Ronald},
	journal={Unpublished manuscript},
	year={1999}
}

@article{DBLP:journals/dcc/BlundoMSW02,
	author    = {Carlo Blundo and
	Barbara Masucci and
	Douglas R. Stinson and
	Ruizhong Wei},
	title     = {Constructions and Bounds for Unconditionally Secure Non-Interactive
	Commitment Schemes},
	journal   = {Des. Codes Cryptogr.},
	volume    = {26},
	number    = {1-3},
	pages     = {97--110},
	year      = {2002}
}

@article{DBLP:journals/joc/Schnorr91,
	author    = {Claus{-}Peter Schnorr},
	title     = {Efficient Signature Generation by Smart Cards},
	journal   = {J. Cryptology},
	volume    = {4},
	number    = {3},
	pages     = {161--174},
	year      = {1991}
}

@inproceedings{DBLP:conf/crypto/ChaumP92,
	author    = {David Chaum and
	Torben P. Pedersen},
	title     = {Wallet Databases with Observers},
	booktitle = {{CRYPTO}},
	series    = {Lecture Notes in Computer Science},
	volume    = {740},
	pages     = {89--105},
	publisher = {Springer},
	year      = {1992}
}

@inproceedings{DBLP:conf/crypto/Pedersen91,
  author    = {Torben P. Pedersen},
  title     = {Non-Interactive and Information-Theoretic Secure Verifiable Secret
               Sharing},
  booktitle = {{CRYPTO}},
  series    = {Lecture Notes in Computer Science},
  volume    = {576},
  pages     = {129--140},
  publisher = {Springer},
  year      = {1991}
}

@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{DBLP:journals/afp/AspinallB19,
	author    = {David Aspinall and
	David Butler},
	title     = {Multi-Party Computation},
	journal   = {Archive of Formal Proofs},
	volume    = {2019},
	year      = {2019}
}

@inproceedings{DBLP:conf/itp/Butler0G17,
	author    = {David Butler and
	David Aspinall and
	Adri{\`{a}} Gasc{\'{o}}n},
	title     = {How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party
	Computation},
	booktitle = {{ITP}},
	series    = {Lecture Notes in Computer Science},
	volume    = {10499},
	pages     = {114--130},
	publisher = {Springer},
	year      = {2017}
}

@inproceedings{DBLP:conf/post/ButlerAG19,
	author    = {David Butler and
	David Aspinall and
	Adri{\`{a}} Gasc{\'{o}}n},
	title     = {On the Formalisation of {\(\Sigma\)}-Protocols and Commitment Schemes},
	booktitle = {{POST}},
	series    = {Lecture Notes in Computer Science},
	volume    = {11426},
	pages     = {175--196},
	publisher = {Springer},
	year      = {2019}
}

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