Commits

Breadcrumbs

History for

onfdd09a4

User selector

All users

All time

Commit History

Commits on Apr 28, 2025

• Adding a new means for determining if there is nonce reuse.

  bdrodes

  committed
  fdd09a4

  Copy full SHA for fdd09a4

Commits on Apr 16, 2025

• Reimplement EC, MAC, key creation logic + consumer

  nicolaswill

  committed
  1958c19

  Copy full SHA for 1958c19

Commits on Apr 9, 2025

• Move CipherOperation into KeyOperation, refactor

  Show description for b9d0abd
  nicolaswill

  committed
  b9d0abd

  Copy full SHA for b9d0abd

Commits on Apr 4, 2025

• Initial progress on key agreement.

  bdrodes

  committed
  a2fe19a

  Copy full SHA for a2fe19a

Commits on Apr 2, 2025

• Merge branch 'brodes/cipher_operation' into brodes/elliptic_curves

  bdrodes

  committed
  66a6029

  Copy full SHA for 66a6029

• Refactor output artifact type

  nicolaswill

  committed
  5050758

  Copy full SHA for 5050758

Commits on Apr 1, 2025

• Misc. modifications to support elliptic curves and hooking them up to keygeneration.

  bdrodes

  committed
  ac96649

  Copy full SHA for ac96649

Commits on Mar 26, 2025

• Refactor consumer and generic source model

  nicolaswill

  committed
  bec69ca

  Copy full SHA for bec69ca

Commits on Mar 22, 2025

• Add initial MAC support for JCA, refactor hashes

  nicolaswill

  committed
  fb7c003

  Copy full SHA for fb7c003

Commits on Mar 20, 2025

• Add JCA key (generation) modelling

  nicolaswill

  committed
  d18dac0

  Copy full SHA for d18dac0

Commits on Mar 18, 2025

• Refactor instances and consumers + add JCA hashes

  nicolaswill

  committed
  95607c5

  Copy full SHA for 95607c5

Commits on Mar 7, 2025

• Changed casing on TCipherType, Added some initial fixes for hash support, started developing openssl hashing modeling.

  bdrodes

  committed
  32d29ff

  Copy full SHA for 32d29ff

Commits on Mar 6, 2025

• Regression fixes for JCA

  bdrodes

  committed
  b9bd199

  Copy full SHA for b9bd199

Commits on Mar 3, 2025

• Removing old ReusedNonce query.

  bdrodes

  committed
  8865d89

  Copy full SHA for 8865d89

• Adding a proof-of-concept PossibleReusedNonce query.

  bdrodes

  committed
  2ee1681

  Copy full SHA for 2ee1681

• Updates to insecure or unknown nonce at operation.

  bdrodes

  committed
  14cb2bb

  Copy full SHA for 14cb2bb

• Proof-of-concept query for InsecureOrUnknownNonceAtOperation

  bdrodes

  committed
  076f531

  Copy full SHA for 076f531

• Clean up consumer and instance interfaces

  nicolaswill

  committed
  627790f

  Copy full SHA for 627790f

Commits on Feb 28, 2025

• Add input and output nodes and fix cross product

  nicolaswill

  committed
  cf33cf7

  Copy full SHA for cf33cf7

Commits on Feb 27, 2025

• Make ArtifactConsumers instances of some Artifacts

  Show description for 0354afc
  nicolaswill

  committed
  0354afc

  Copy full SHA for 0354afc

• Rewrite handling of known unknowns and data-flow

  nicolaswill

  committed
  04f4683

  Copy full SHA for 04f4683

Commits on Feb 25, 2025

• Expand handling of generic artifact sources

  nicolaswill

  committed
  f55f27b

  Copy full SHA for f55f27b

• Add generic artifact data-flow

  Show description for eb91ecf
  nicolaswill

  committed
  eb91ecf

  Copy full SHA for eb91ecf

Commits on Feb 24, 2025

• Add Nonce association to Operation, update graph

  nicolaswill

  committed
  2b0b927

  Copy full SHA for 2b0b927

Commits on Feb 21, 2025

• Misc. updates to support all JCA cipher operations, including wrap, unwrap and doFinal calls. Corrected pathing for init tracing to detect what mode is being set along a path. Added support for tra…

  Show description for 86cab46
  bdrodes

  committed
  86cab46

  Copy full SHA for 86cab46

Commits on Feb 20, 2025

• Adding a todo

  bdrodes

  committed
  9ac9252

  Copy full SHA for 9ac9252

• Simplifying additional flow step logic.

  bdrodes

  committed
  011ed3f

  Copy full SHA for 011ed3f

• Adding a sketch for a CipherOperation concept to model encryption/decryption operations.

  bdrodes

  committed
  9ee4a7a

  Copy full SHA for 9ee4a7a

Commits on Feb 18, 2025

• Adding support for encryption operation detection.

  bdrodes

  committed
  3871c6a

  Copy full SHA for 3871c6a

• Continue Artifact data-flow WIP

  nicolaswill

  committed
  8707e4d

  Copy full SHA for 8707e4d

Commits on Feb 16, 2025

• Expand model and JCA modeling

  nicolaswill

  committed
  df01fa7

  Copy full SHA for df01fa7

Commits on Feb 14, 2025

• Expand model and specialize newtype relations

  nicolaswill

  committed
  b777a22

  Copy full SHA for b777a22

Commits on Feb 12, 2025

• Modify model to use newtypes, expand modeling

  nicolaswill

  committed
  874e3b5

  Copy full SHA for 874e3b5

Commits on Feb 11, 2025

• Refactor Model and CBOM print queries

  nicolaswill

  committed
  4d44755

  Copy full SHA for 4d44755

Commits on Feb 10, 2025

• Update JCA model, refactor modes

  knewbury01

  committed
  1a12fb3

  Copy full SHA for 1a12fb3