Skip to content

Commit

Permalink
Merge pull request #159 from GaloisInc/120-readme-fixes
Browse files Browse the repository at this point in the history 
Fix broken README links.
  • Loading branch information
@marsella
marsella authored Oct 22, 2024
2 parents 2e884ee + bebcbcc commit dd86f27
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 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 All @@ -43,7 +44,7 @@ The repository contains Cryptol implementations of the selected cryptographic sc
| Type | PKE/KEM | Signature |
|---------------|-----------------------------------------------------------|-----------------------------------------------------------------|
| Lattice-based | [CRYSTALS Kyber](Primitive/Asymmetric/Cipher/Kyber/3.01/) | [CRYSTALS Dilithium](Primitive/Asymmetric/Signature/Dilithium/) |
| | [ML-KEM](Primitive/Asymmetric/Cipher/ML-KEM/) | |
| | [ML-KEM](Primitive/Asymmetric/Cipher/ML_KEM/) | |
| | | [FALCON](Primitive/Asymmetric/Signature/FALCON/1.2/) |
| Hash-based | | [SPHINCS+](Primitive/Asymmetric/Signature/SphincsPlus/) |

Expand Down

0 comments on commit dd86f27

Please sign in to comment.