aws/aws-encryption-sdk issues and pull requests

#649 - test(test_vectors): Support reading manifests that specify a hierarchy keyring

Pull Request - State: closed - Opened by lucasmcdonald3 9 months ago

#648 - chore(CI): Cut Dafny issues on nightly failures

Pull Request - State: closed - Opened by josecorella 9 months ago - 1 comment

#644 - chore: Reduce ressource count for a brittle method.

Pull Request - State: open - Opened by robin-aws 11 months ago

#632 - chore(MessageBody): CorrectlyRead for Dafny 4.4

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

#620 - add netstandard2.0 support

Issue - State: open - Opened by jano-petras about 1 year ago - 1 comment

#370 - Figure out ideal code layout for supporting {:extern} code in multiple languages

Issue - State: closed - Opened by robin-aws over 3 years ago - 1 comment

#100 - Strongly Tie Traces to EDKs

Issue - State: closed - Opened by lavaleri about 5 years ago - 1 comment

#99 - Fix Brittle Verification hang

Issue - State: closed - Opened by lavaleri about 5 years ago - 2 comments

#98 - Subtype verification failure

Issue - State: closed - Opened by lavaleri about 5 years ago - 1 comment
Labels: bug

#97 - Write interoperability tests

Issue - State: closed - Opened by lavaleri about 5 years ago - 1 comment

#96 - Caching CMM

Pull Request - State: closed - Opened by RustanLeino about 5 years ago - 21 comments

#95 - Create a shim to implement the desired .NET ESDK API using Dafny

Issue - State: closed - Opened by robin-aws about 5 years ago - 1 comment

#94 - Define .NET Encryption SDK API

Issue - State: closed - Opened by robin-aws about 5 years ago - 2 comments

#93 - Add Caching CMM

Issue - State: closed - Opened by lavaleri about 5 years ago

#92 - Align with spec for functional behavior

Issue - State: closed - Opened by lavaleri about 5 years ago - 2 comments

#91 - Fix non-deterministic HKDF test failures/mono segfaults

Issue - State: closed - Opened by robin-aws about 5 years ago

#90 - Call Sequence factory methods in Dafny runtime

Pull Request - State: closed - Opened by RustanLeino about 5 years ago - 5 comments

#89 - Test change DO NOT COMMIT

Pull Request - State: closed - Opened by lavaleri about 5 years ago - 3 comments

#88 - Restore Encryption/DecryptionMaterialsRequest types

Issue - State: closed - Opened by robin-aws about 5 years ago - 1 comment

#87 - Merge pull request #2 from awslabs/develop

Pull Request - State: closed - Opened by robin-aws about 5 years ago

#86 - KMS Keyring

Pull Request - State: closed - Opened by MatthewBennington about 5 years ago - 30 comments

#85 - Deserialize and decrypt non-framed messages

Pull Request - State: closed - Opened by RustanLeino about 5 years ago - 2 comments

#84 - Make Signature.ECDSA.Verify module-level in Dafny

Pull Request - State: closed - Opened by RustanLeino about 5 years ago - 1 comment

#83 - Replace deprecated xbuild with msbuild in buildspec.yml

Pull Request - State: closed - Opened by MatthewBennington about 5 years ago

#82 - Review UTF8.ValidUTF8Seq()

Issue - State: closed - Opened by MatthewBennington about 5 years ago - 3 comments

#81 - UTF8.Decode does not need to return a Result

Issue - State: closed - Opened by MatthewBennington about 5 years ago - 3 comments

#80 - Add Message Body specification

Issue - State: closed - Opened by lavaleri about 5 years ago

#79 - Remove Assume in DefaultCMM

Issue - State: closed - Opened by RustanLeino about 5 years ago

#78 - fix: Remove native Type

Pull Request - State: closed - Opened by seebees over 5 years ago

#77 - fix: Add JS build target

Pull Request - State: closed - Opened by seebees over 5 years ago

#76 - Verification success that should be a failure

Issue - State: closed - Opened by robin-aws over 5 years ago - 1 comment

#75 - How can we formally verify that a loop attempts to use each thing you're looping over?

Issue - State: closed - Opened by robin-aws over 5 years ago - 5 comments

#74 - Add UTF8 encoding/decoding

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

#73 - Refactor CMM/Keyring traits to use immutable datatypes, fix MultiKeyring

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

#72 - Rename Raw keyrings to be inline with specification

Pull Request - State: closed - Opened by MatthewBennington over 5 years ago

#71 - Correct names of Raw* keyrings

Issue - State: closed - Opened by MatthewBennington over 5 years ago - 2 comments

#70 - Split EncryptionMaterials class into ...Input/Output datatypes

Pull Request - State: closed - Opened by robin-aws over 5 years ago - 2 comments

#69 - Review Raw RSA Keyring

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

#68 - Centralize EDK serialization/deserialization logic

Issue - State: closed - Opened by MatthewBennington over 5 years ago - 1 comment

#67 - Add Decryption of Unframed Messages

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

#66 - Add KMS Keyring

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

#65 - Review Multikeyring

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

#64 - Encrypt Streaming API

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

#63 - Client Decrypt

Pull Request - State: closed - Opened by RustanLeino over 5 years ago

#62 - Review Signature Code

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

#61 - Review HKDF

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

#60 - Client Encrypt

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

#59 - Splitting up extern files

Pull Request - State: closed - Opened by MatthewBennington over 5 years ago

#58 - Split encryption externs into seperate files

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

#57 - Move externs to src/extern/dotnet

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

#56 - Refactoring AES crypto code

Pull Request - State: closed - Opened by MatthewBennington over 5 years ago

#55 - Rename GenBytes.dfy/RNG

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

#54 - Determine testing strategy

Issue - State: closed - Opened by MatthewBennington over 5 years ago - 1 comment

#53 - Update strings to utf8strings

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

#52 - Review Streams.dfy

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#51 - Review Util files

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

#50 - Update Encryption Context representation

Issue - State: closed - Opened by lavaleri over 5 years ago - 2 comments

#49 - WIP

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#48 - Add keyring trace

Pull Request - State: closed - Opened by lavaleri over 5 years ago - 16 comments

#47 - Verify message-header serialization and deserialization

Pull Request - State: closed - Opened by RustanLeino over 5 years ago

#46 - remove duplicated file

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#45 - Reorganize extern files

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

#44 - Create export sets

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

#43 - Remove All.dfy

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

#42 - Review Keyring Trait

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#41 - Review DefaultCMM

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

#40 - Add data key length assurance to material validity

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#39 - Improve Base64 Encode postconditions

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#38 - Update CMM trait to be in line with spec

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#37 - Update buildspec for Codebuilds on PRs

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#36 - Review Intern AES Crypto Code

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

#35 - UTF8 in dafny

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

#34 - Make ToyClient resolve, verify, compile, and run

Pull Request - State: closed - Opened by RustanLeino over 5 years ago

#33 - Review Materials.dfy

Issue - State: closed - Opened by MatthewBennington over 5 years ago - 2 comments

#32 - Determine error handling/messaging

Issue - State: closed - Opened by lavaleri over 5 years ago - 7 comments

#31 - Rename materials file

Pull Request - State: closed - Opened by lavaleri over 5 years ago - 2 comments

#30 - Review AES Keyring and fix style

Pull Request - State: closed - Opened by MatthewBennington over 5 years ago - 2 comments

#29 - Whitespace changes

Pull Request - State: closed - Opened by RustanLeino over 5 years ago

#28 - Add members to Option and Result to enable use of :-

Pull Request - State: closed - Opened by RustanLeino over 5 years ago - 3 comments

#27 - Update ToyClient to use recently refactored and renamed types

Pull Request - State: closed - Opened by RustanLeino over 5 years ago

#26 - Update Makefile and fix tests

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#25 - Set up CI

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

#24 - Review Makefile

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

#23 - Update with new keyring trait and materials

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#22 - Review UInt and fix style

Pull Request - State: closed - Opened by lavaleri over 5 years ago

#21 - Review StandardLibrary/UInt.dfy

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

#20 - Review intern StandardLibrary work

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

#19 - Review Intern SDK work

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#18 - Review intern Crypto work

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#17 - Review intern work

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#16 - Review CMM Trait

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

#15 - Review Raw AES Keyring

Issue - State: closed - Opened by lavaleri over 5 years ago - 2 comments

#14 - Determine performance of EDKs in Materials

Issue - State: closed - Opened by lavaleri over 5 years ago - 1 comment

#13 - Add AlgorithmSuite key input length validity to Materials

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

#12 - Add KeyringTrace field to Materials

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

#11 - Add beginning material structures and keyring interface

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

#10 - HKDF/parts of message header/project structure (end-of-internship)

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

#9 - HKDF, build system and directory structure

Pull Request - State: closed - Opened by mschlaipfer over 5 years ago

#8 - Streaming encrypt/decrypt

Issue - State: closed - Opened by ttjsu-aws almost 6 years ago

#7 - One-shot encrypt/decrypt

Issue - State: closed - Opened by ttjsu-aws almost 6 years ago

GitHub / aws/aws-encryption-sdk issues and pull requests