GaloisInc/cryptol-specs issues and pull requests

#72 - Merge `sha-imperative` branch

Pull Request - State: open - Opened by RyanGlScott 7 months ago

#71 - Ordering of parameters to XOF() call in ML-KEM correct?

Issue - State: open - Opened by rod-chapman 8 months ago - 5 comments

#70 - Add check and prove steps to CI

Pull Request - State: open - Opened by carrala 9 months ago - 1 comment

#69 - Add Implementation of ML-KEM

Pull Request - State: closed - Opened by mariosge 9 months ago
Labels: post-quantum

#68 - Chhange all specs to use one common LICSENSE file

Pull Request - State: closed - Opened by eddywestbrook 10 months ago

#67 - Literate Cryptol specifications

Pull Request - State: closed - Opened by carrala 10 months ago - 1 comment

#66 - Add dilithium final draft

Pull Request - State: closed - Opened by bboston7 11 months ago

#65 - Investigate, revise, and verify Dilithium Rust implementation

Issue - State: open - Opened by andrew-bivin 11 months ago
Labels: post-quantum

#64 - Edit `ByteEncode` and `ByteDecode` of ML-KEM to match the specs

Issue - State: open - Opened by mariosge 11 months ago
Labels: post-quantum

#63 - Added NTT

Pull Request - State: closed - Opened by ramsdell about 1 year ago - 3 comments

#62 - Kyber KAT and spec consistency

Pull Request - State: closed - Opened by mariosge about 1 year ago

#61 - Add Beta Parameter to Falcon

Pull Request - State: closed - Opened by mariosge about 1 year ago

#60 - Kyber bytes to bits

Pull Request - State: open - Opened by mariosge about 1 year ago

#59 - [GitLab Repost] Add beta parameter to Falcon

Issue - State: closed - Opened by andrew-bivin about 1 year ago
Labels: enhancement, post-quantum

#58 - Fix Kyber KEM

Pull Request - State: closed - Opened by mariosge about 1 year ago
Labels: bug

#57 - Update Dilithium NTT

Issue - State: closed - Opened by andrew-bivin over 1 year ago
Labels: enhancement

#56 - Add/improve CI tests and checks

Issue - State: open - Opened by andrew-bivin over 1 year ago - 3 comments
Labels: enhancement, CI

#55 - Kyber and known answer tests

Issue - State: closed - Opened by ramsdell over 1 year ago - 3 comments

#54 - Parallelize `chain` function calls in SPHINCS+ spec

Pull Request - State: closed - Opened by bboston7 over 1 year ago - 3 comments
Labels: enhancement, post-quantum

#53 - Top-level README links to SHA-256 and SHA-2, SHA-3 are broken

Issue - State: open - Opened by andrew-bivin over 1 year ago
Labels: bug

#52 - Add `wots_PKfromSK` function to SPHINCS+ spec

Pull Request - State: closed - Opened by bboston7 over 1 year ago
Labels: enhancement, post-quantum

#51 - Post Quantum Specs

Pull Request - State: closed - Opened by mariosge over 1 year ago
Labels: post-quantum

#50 - Add post-quantum cryptol specs and documentation

Issue - State: closed - Opened by andrew-bivin over 1 year ago - 1 comment
Labels: post-quantum

#49 - Fixes to make things work with the new module system

Pull Request - State: closed - Opened by yav over 1 year ago - 3 comments

#48 - Changed licenses of AES, HMAC, GCM, and SHA specs to the BSD license

Pull Request - State: closed - Opened by eddywestbrook about 2 years ago

#47 - Fix error in `GCM` decryption

Pull Request - State: open - Opened by abakst over 2 years ago

#46 - `Primitive::Symmetric::Cipher::Authenticated::GCM` incorrect

Issue - State: open - Opened by abakst over 2 years ago - 3 comments

#45 - Dilithium pack and unpack

Pull Request - State: open - Opened by pnwamk over 2 years ago - 1 comment

#44 - skip nightly CI for now

Pull Request - State: closed - Opened by pnwamk almost 3 years ago

#43 - Dilithium fix

Pull Request - State: closed - Opened by pnwamk almost 3 years ago - 3 comments

#42 - add basic test/ci script

Pull Request - State: closed - Opened by pnwamk almost 3 years ago

#41 - Dilithium imports missing

Issue - State: open - Opened by ramsdell almost 3 years ago - 3 comments

#40 - Cryptol specs tests

Issue - State: open - Opened by lisanna-dettwyler over 3 years ago - 1 comment

#39 - Missing open source license

Issue - State: closed - Opened by brianhuffman over 3 years ago - 3 comments

#38 - Added Common::LUP and Common::pick

Pull Request - State: closed - Opened by ramsdell over 3 years ago

#37 - add cryptol specs for poly_chnorm, polyveck_chknorm

Pull Request - State: closed - Opened by ajayeeralla over 3 years ago

#36 - added Common::LUP a linear equations module

Pull Request - State: closed - Opened by ramsdell over 3 years ago

#35 - Executing SphincsPlus

Issue - State: open - Opened by ramsdell over 3 years ago - 1 comment

#34 - Executing SphincsPlus

Issue - State: closed - Opened by ramsdell over 3 years ago

#33 - ECDSA should use new `prime` type constraint

Issue - State: open - Opened by weaversa over 3 years ago

#32 - very few specs include properties

Issue - State: open - Opened by kiniry almost 4 years ago - 2 comments
Labels: enhancement

#31 - literate specs missing

Issue - State: open - Opened by kiniry almost 4 years ago
Labels: enhancement

#30 - most of the Dilithium specs do not typecheck

Issue - State: open - Opened by kiniry almost 4 years ago
Labels: bug

#29 - Add AES Key Wrap specification

Pull Request - State: closed - Opened by bboston7 about 4 years ago - 3 comments