Add key concepts to JCA model#18852

Closed

knewbury01 wants to merge 32 commits intogithub:mainfrom

nicolaswill:knewbury01/JCA-add-key-concepts

Commits on Jan 23, 2025

Create Base.qll
nicolaswill
committed

Commits on Jan 24, 2025

Commits on Jan 28, 2025

WIP: add properties
nicolaswill
committed

Commits on Jan 29, 2025

Commits on Feb 4, 2025

Add first sample JCA encryption model
knewbury01
committed

Commits on Feb 5, 2025

Commits on Feb 7, 2025

Update progress on JCA
knewbury01
committed

Commits on Feb 11, 2025

Refactor Model and CBOM print queries
nicolaswill
committed

Commits on Feb 12, 2025

Modify model to use newtypes, expand modeling
nicolaswill
committed

Commits on Feb 14, 2025

Expand model and specialize newtype relations
nicolaswill
committed

Commits on Feb 16, 2025

Expand model and JCA modeling
nicolaswill
committed

Commits on Feb 18, 2025

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…
bdrodes
committed

Commits on Feb 24, 2025