proofs add

Megha-Bose · Feb 21, 2023 · 4c884ed · 4c884ed
1 parent 9219011
commit 4c884ed
Show file tree

Hide file tree

Showing 12 changed files with 6 additions and 157 deletions.
diff --git a/A1/CBC_MAC/CBC_MAC.pdf b/A1/CBC_MAC/CBC_MAC.pdf
diff --git a/A1/CCA/CCA.pdf b/A1/CCA/CCA.pdf
diff --git a/A1/CPA/CPA.pdf b/A1/CPA/CPA.pdf
diff --git a/A1/CPA/README.md b/A1/CPA/README.md
diff --git a/A1/EAV/EAV.pdf b/A1/EAV/EAV.pdf
diff --git a/A1/EAV/README.md b/A1/EAV/README.md
diff --git a/A1/MAC/MAC.pdf b/A1/MAC/MAC.pdf
diff --git a/A1/PRF/PRF.pdf b/A1/PRF/PRF.pdf
diff --git a/A1/PRF/README.md b/A1/PRF/README.md
diff --git a/A1/PRG/PRG.pdf b/A1/PRG/PRG.pdf
diff --git a/A1/PRG/README.md b/A1/PRG/README.md
diff --git a/README.md b/README.md
@@ -7,27  7,27 @@
 ### Pseudo-random Generator
 A provably-secure pseudo-random generator which outputs a pseudo-random bit-string value of length l(k) when the in-class function generate() is invoked.
 
-[Code](A1/PRG/PRG.py) | [Proof of Security](A1/PRG/PRG.pdf)
 [Code](A1/PRG/PRG.py)
 
 ### Pseudo-random Function
 A provably-secure pseudo-random function that outputs a pseudo-random integer value when the in-class function evaluate() is invoked.
 
-[Code](A1/PRF/PRF.py) | [Proof of Security](A1/PRF/PRF.pdf)
 [Code](A1/PRF/PRF.py)
 
 ### Encryption Scheme against Eavesdropping Adversary
 A secure encryption-decryption scheme for an eavesdropping attack. The encryption and the decryption functionalities are implemented in two different functions.
 
-[Code](A1/EAV/EAV.py) | [Proof of Security](A1/EAV/EAV.pdf)
 [Code](A1/EAV/EAV.py)
 
 ### CPA-Secure Encryption Scheme
 A CPA-secure encryption-decryption scheme using the previously implemented PRF that outputs the ciphertext when the in-class function enc() is invoked and returns the plaintext when the in-class function dec() is invoked.
 
-[Code](A1/CPA/CPA.py) | [Proof of Security](A1/CPA/CPA.pdf)
 [Code](A1/CPA/CPA.py)
 
 ### Message Authentication Codes
 A variable-length message authentication code scheme that returns the tag when the in-class function mac() is invoked and returns a boolean value (0 if the verification is erroneous, 1 otherwise) when the function vrfy() is invoked.
 
-[Code](A1/MAC/MAC.py) | [Proof of Security](A1/MAC/MAC.pdf)
 [Code](A1/MAC/MAC.py)
 
 ### CBC-MAC
 A variable-length CBC-MAC using the previously implemented PRF.
@@ -37,5  37,5 @@ A variable-length CBC-MAC using the previously implemented PRF.
 ### CCA-Secure Encryption Scheme
 A CCA secure scheme using the CPA and CBC-MAC implementations that returns the cipher-text when then in-class function enc() is invoked and returns the plain-text (or not) when the in-class function dec() is invoked. 
 
-[Code](A1/CCA/CCA.py) | [Proof of Security](A1/CCA/CCA.pdf)
 [Code](A1/CCA/CCA.py)