Skip to content

Issues: GaloisInc/cryptol-specs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

29 Open 10 Closed
29 Open 10 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Fix bug in AES-GCM spec bug Something isn't working
#74 opened May 30, 2024 by marsella
4 tasks
Consider removing McEliece spec
#73 opened May 30, 2024 by marsella
Ordering of parameters to XOF() call in ML-KEM correct?
#71 opened Feb 6, 2024 by rod-chapman
5
Investigate, revise, and verify Dilithium Rust implementation post-quantum related to post-quantum cryptography specs
#65 opened Nov 14, 2023 by andrew-bivin
Edit ByteEncode and ByteDecode of ML-KEM to match the specs post-quantum related to post-quantum cryptography specs
#64 opened Nov 7, 2023 by mariosge
@mariosge
Add/improve CI tests and checks CI enhancement New feature or request
#56 opened Jun 1, 2023 by andrew-bivin
4 tasks
3
Top-level README links to SHA-256 and SHA-2, SHA-3 are broken bug Something isn't working
#53 opened May 8, 2023 by andrew-bivin
Primitive::Symmetric::Cipher::Authenticated::GCM incorrect
#46 opened Mar 21, 2022 by abakst
3
Dilithium imports missing
#41 opened Dec 7, 2021 by ramsdell
3
Cryptol specs tests
#40 opened Apr 13, 2021 by lisanna-dettwyler
1
Executing SphincsPlus
#35 opened Jan 26, 2021 by ramsdell
1
ECDSA should use new prime type constraint
#33 opened Jan 17, 2021 by weaversa
very few specs include properties enhancement New feature or request
#32 opened Nov 13, 2020 by kiniry
2
literate specs missing enhancement New feature or request
#31 opened Nov 13, 2020 by kiniry
most of the Dilithium specs do not typecheck bug Something isn't working
#30 opened Nov 13, 2020 by kiniry
Salsa20 spec is incorrect and incomplete
#17 opened Oct 22, 2019 by WeeknightMVP
McEliece_KEM/spec/Types.cry fails to parse bug Something isn't working
#15 opened Aug 19, 2019 by brianhuffman
McEliece_KEM/low-level/util.cry fails to typecheck bug Something isn't working
#14 opened Aug 19, 2019 by brianhuffman
McEliece_KEM/low-level/gf.cry fails to typecheck bug Something isn't working
#13 opened Aug 19, 2019 by brianhuffman
Module names in McEliece_KEM directory are all wrong
#12 opened Aug 19, 2019 by brianhuffman
1
File name does not match module name
#11 opened Aug 19, 2019 by brianhuffman
Module Primitive::Symmetric::MAC::HMAC is broken
#10 opened Aug 19, 2019 by brianhuffman
1
Questions about p384_field_mod
#8 opened May 3, 2019 by hadasz
2
Document use of git branches
#7 opened Mar 1, 2019 by brianhuffman
We need to make a style guide, and follow it
#5 opened Feb 28, 2019 by brianhuffman
ProTip! What’s not been updated in a month: updated:<2024-05-03.