REDMOND\brodes 0a0be41527 Intermediate progress towards getting hashing upgraded. Still need to handle the final and update mechanics, matching the JCA. Similarly need to update cipher to follow the JCA for update/final as well.

2025-05-02 16:33:52 -04:00

..

JCA.qll

Intermediate progress towards getting hashing upgraded. Still need to handle the final and update mechanics, matching the JCA. Similarly need to update cipher to follow the JCA for update/final as well.

2025-05-02 16:33:52 -04:00

Language.qll

Add modelling for JCA key gen cipher algorithm

2025-04-30 16:28:31 +02:00