Paper 2016/046 Original: eprint.iacr.org/2016/046 ↗
How To Simulate It - A Tutorial on the Simulation Proof Technique
Abstract
One of the most fundamental notions of cryptography is that of \emph{simulation}. It stands behind the concepts of semantic security, zero knowledge, and security for multiparty computation. However, writing a simulator and proving security via the use of simulation is a non-trivial task, and one that many newcomers to the field often find difficult. In this tutorial, we provide a guide to how to write simulators and prove security via the simulation paradigm. Although we have tried to make this tutorial as stand-alone as possible, we assume some familiarity with the notions of secure encryption, zero-knowledge, and secure computation.
Metadata
- Available format(s)
PDF- Category
- Foundations
- Publication info
- Preprint.
- History
- 2025-01-23: last updated
- 2016-01-19: published
- Short URL
- https://ia.cr/2016/046
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2016/046,
author = {Yehuda Lindell},
title = {How To Simulate It - A Tutorial on the Simulation Proof Technique},
howpublished = {Cryptology {ePrint} Archive, Paper 2016/046},
year = {2016},
url = {https://eprint.iacr.org/2016/046}
}