various fixes, simplify income transparency proof

1 files changed, 17 insertions, 0 deletions

diff --git a/ref.bib b/ref.bib
index e328f0b..7b60e60 100644
--- a/ref.bib
+++ b/ref.bib
@@ -1988,3 +1988,20 @@ issn="1432-1378",
   year={2009},
   organization={Springer}
 }
+
+
+@incollection{lindell2017simulate,
+  title={How to simulate it--a tutorial on the simulation proof technique},
+  author={Lindell, Yehuda},
+  booktitle={Tutorials on the Foundations of Cryptography},
+  pages={277--346},
+  year={2017},
+  publisher={Springer}
+}
+
+@book{guo2018introduction,
+  title={Introduction to Security Reduction},
+  author={Guo, Fuchun and Susilo, Willy and Mu, Yi},
+  year={2018},
+  publisher={Springer}
+}