From 95c0b5d4072cda36c60038361c8cad2d56a54ca1 Mon Sep 17 00:00:00 2001 From: Fabrice Mouhartem Date: Tue, 23 Jan 2018 15:34:12 +0100 Subject: [PATCH] Update chapters --- chap-conclusion.tex | 2 ++ chap-proofs.tex | 15 +++++++++++++++ chap-structures.tex | 7 ++++++- 3 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 chap-conclusion.tex diff --git a/chap-conclusion.tex b/chap-conclusion.tex new file mode 100644 index 0000000..adcd79a --- /dev/null +++ b/chap-conclusion.tex @@ -0,0 +1,2 @@ +\chapter*{Conclusion} +\addcontentsline{toc}{part}{Conclusion} diff --git a/chap-proofs.tex b/chap-proofs.tex index d4023db..61e622b 100644 --- a/chap-proofs.tex +++ b/chap-proofs.tex @@ -1,7 +1,22 @@ \chapter{Security Proofs in Cryptography} +Provable security is a subfield of cryptography where constructions are proven secure with regards to a security model. +To illustrate this notion, let us take the example of public-key encryption schemes. +This primitive consists in three algorithms:~key generation, encryption and decryption. +These algorithms acts according to their names. +Then, the question of ``how to define the security of this set of algorithms'' rises. +To answer this question, we have to define the power of the adversary, and its goal. +To model those two notions, cryptographers uses security games. + + +%%%%%%%%%%%%%%%%%%%%%%% +% Security Reductions % +%%%%%%%%%%%%%%%%%%%%%%% \section{Security Reductions} +Provable security focuses on providing constructions for which the security is guaranteed by a security proof, or security reduction. +These proofs consist in polynomial reductions from difficult problems: the hardness assumptions. +The quality of a proof depends on the security of the hardness assumption, and the tightness of the proof. diff --git a/chap-structures.tex b/chap-structures.tex index 5f5514e..fa9ec7f 100644 --- a/chap-structures.tex +++ b/chap-structures.tex @@ -1,7 +1,12 @@ \chapter{Underlying Structures} +\label{chap:structures} \section{Pairing-Based Cryptography} +\label{se:pairing} + +\input sec-pairings \section{Lattice-Based Cryptography} +\label{se:lattices} -\input sec-lattices.tex +\input sec-lattices