Skip to content

Commit

Permalink
Fix broken README links.
Browse files Browse the repository at this point in the history 
Links to Cryptol implementations of TripleDES, SHA256, SHA2, SHA3 are fixed.
  • Loading branch information
@nlschimanski
nlschimanski committed Oct 16, 2024
1 parent db015a3 commit 124c80c
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,16 +20,17 @@ repository are listed below.
| | Primitive | Synthesis | Verification |
|----------------------------|----------------------------------------------------------------------------------------|-----------|--------------|
| **Block Cipher** | [AES](Primitive/Symmetric/Cipher/Block/AES) | | |
| | [Triple DES](Primitive/Symmetric/Cipher/Block/TripleDES.cry) | | |
| | [Triple DES](Primitive/Symmetric/Cipher/Block/TripleDES.md) | | |
| **Stream Cipher** | [ChaCha20-Poly1305](Primitive/Symmetric/Cipher/Authenticated/ChaChaPolyCryptolIETF.md) | | |
| **Message Authentication** | [HMAC](Primitive/Symmetric/MAC/HMAC.cry) | | |
| **Digital Signature** | [ECDSA](Primitive/Asymmetric/Signature/ECDSA) | | |
| | [SPHINCS+](Primitive/Asymmetric/Signature/SphincsPlus/) | | |
| | [FALCON](Primitive/Asymmetric/Signature/FALCON/1.2/) | | |
| | [CRYSTALS Dilithium](Primitive/Asymmetric/Signature/Dilithium/) | | |
| **Hash** | [SHA1](Primitive/Keyless/Hash/SHA1.cry) | | |
| | [SHA256](Primitive/Keyless/Hash/SHA256.cry) | | |
| | [SHA2, SHA3](Primitive/Keyless/Hash/SHA.cry) | | |
| | [SHA256](Primitive/Keyless/Hash/SHA2/Instantiations/SHA256.cry) | | |
| | [SHA2](Primitive/Keyless/Hash/SHA2/) | | |
| | [SHA3](Primitive/Keyless/Hash/SHA3/) | | |
| **Asymmetric Encryption** | [CRYSTALS Kyber](Primitive/Asymmetric/Cipher/Kyber/3.01/) | | |
| | [RSA](Primitive/Asymmetric/Cipher/RSA.cry) | | |

Expand Down

0 comments on commit 124c80c

Please sign in to comment.