GaloisInc/cryptol-specs issues and pull requests

#72 - Merge `sha-imperative` branch

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

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

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

#70 - Add check and prove steps to CI

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

#69 - Add Implementation of ML-KEM

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

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

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

#67 - Literate Cryptol specifications

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

#66 - Add dilithium final draft

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

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

Issue - State: open - Opened by andrew-bivin about 1 year ago
Labels: post-quantum

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

Issue - State: open - Opened by mariosge about 1 year 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 over 1 year ago

#60 - Kyber bytes to bits

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

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

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

#58 - Fix Kyber KEM

Pull Request - State: closed - Opened by mariosge over 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 almost 2 years ago - 3 comments

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

Pull Request - State: closed - Opened by eddywestbrook over 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 almost 3 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 almost 4 years ago

#35 - Executing SphincsPlus

Issue - State: open - Opened by ramsdell almost 4 years ago - 1 comment

#34 - Executing SphincsPlus

Issue - State: closed - Opened by ramsdell almost 4 years ago

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

Issue - State: open - Opened by weaversa almost 4 years ago

#32 - very few specs include properties

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

#31 - literate specs missing

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

#30 - most of the Dilithium specs do not typecheck

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

#29 - Add AES Key Wrap specification

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

#28 - Made the "_Common" SHA functions not be private

Pull Request - State: closed - Opened by atomb about 4 years ago

#27 - Port SHAImp specs to parameterized SHA.cry specs

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

#26 - Add full HMAC function

Pull Request - State: closed - Opened by bboston7 over 4 years ago

#25 - Add HMAC final spec

Pull Request - State: closed - Opened by bboston7 over 4 years ago

#24 - Add HMAC update spec

Pull Request - State: closed - Opened by bboston7 over 4 years ago

#23 - Add specification HMAC-SHA384 init function

Pull Request - State: closed - Opened by bboston7 over 4 years ago

#22 - Rename some minor parts of the ECDSA spec

Pull Request - State: closed - Opened by robdockins over 4 years ago - 4 comments

#21 - Suspicious algorithm in ECDSA.cry

Issue - State: closed - Opened by robdockins over 4 years ago - 11 comments

#20 - write a literate cryptol version of AERO

Issue - State: open - Opened by kiniry over 9 years ago

#19 - write module supporting modular arithmetic

Issue - State: closed - Opened by kiniry over 10 years ago - 9 comments

#18 - Skein

Issue - State: open - Opened by ryazo about 10 years ago - 6 comments

#17 - `Salsa20` spec is incorrect and incomplete

Issue - State: open - Opened by WeeknightMVP about 5 years ago

#16 - Add CBC wrapper for AES and some test vectors

Pull Request - State: closed - Opened by ajayeeralla over 5 years ago - 1 comment

#15 - McEliece_KEM/spec/Types.cry fails to parse

Issue - State: open - Opened by brianhuffman over 5 years ago
Labels: bug

#14 - McEliece_KEM/low-level/util.cry fails to typecheck

Issue - State: open - Opened by brianhuffman over 5 years ago
Labels: bug

#13 - McEliece_KEM/low-level/gf.cry fails to typecheck

Issue - State: open - Opened by brianhuffman over 5 years ago
Labels: bug

#12 - Module names in McEliece_KEM directory are all wrong

Issue - State: open - Opened by brianhuffman over 5 years ago - 1 comment

#11 - File name does not match module name

Issue - State: open - Opened by brianhuffman over 5 years ago

#10 - Module Primitive::Symmetric::MAC::HMAC is broken

Issue - State: open - Opened by brianhuffman over 5 years ago - 1 comment

#9 - Added parameterized SHA modules

Pull Request - State: closed - Opened by weaversa over 5 years ago - 6 comments

#8 - Questions about p384_field_mod

Issue - State: open - Opened by hadasz over 5 years ago - 2 comments

#7 - Document use of git branches

Issue - State: open - Opened by brianhuffman over 5 years ago

#6 - Primitive/Asymmetric/Scheme/RSAES_OAEP.cry doesn't typecheck

Issue - State: closed - Opened by brianhuffman over 5 years ago

#5 - We need to make a style guide, and follow it

Issue - State: open - Opened by brianhuffman over 5 years ago

#4 - Module hierarchy is too deep

Issue - State: open - Opened by brianhuffman over 5 years ago - 2 comments

#3 - Interdependency

Issue - State: open - Opened by weaversa about 6 years ago - 1 comment

#2 - Added a Z type ECDSA implementation

Pull Request - State: closed - Opened by weaversa about 6 years ago

#1 - ECDSA using Z

Issue - State: closed - Opened by weaversa about 6 years ago - 3 comments
Labels: question

GitHub / GaloisInc/cryptol-specs issues and pull requests