Key schedule security#145

Closed

cmester0 wants to merge 34 commits intomainfrom

key-schedule-security

Commits on Nov 5, 2024

move key scheduling to seperate file
cmester0
committed

Commits on Nov 6, 2024

Commits on Nov 13, 2024

WIP on packages/games for KeySchedule
cmester0
committed

Commits on Nov 27, 2024

Filling in SSP package definitions
cmester0
committed

Commits on Nov 29, 2024

Restructure proof
cmester0
committed

Commits on Jan 7, 2025

Update proof
cmester0
committed

Commits on Jan 12, 2025

Minor progress on proof
cmester0
committed

Commits on Jan 13, 2025

Fixing extraction
cmester0
committed

Commits on Jan 19, 2025

Cleanup extra files, and add more definitions
cmester0
committed

Commits on Jan 21, 2025

WIP on fixing key schedule impl
cmester0
committed

Commits on Jan 22, 2025

WIP going to handles and key maps instead of directly using keys
cmester0
committed

Commits on Jan 23, 2025

Switch to using handlers
cmester0
committed

Commits on Jan 24, 2025

Cleanup use of handles
cmester0
committed

Commits on Jan 27, 2025

Commits on Jan 30, 2025

Setup of key package hiearchy
cmester0
committed

Commits on Jan 31, 2025

WIP on main theorem
cmester0
committed

Commits on Feb 10, 2025

Make proof for multi-dimensioned hybrid proof easier
cmester0
committed

Commits on Feb 11, 2025

Commits on Feb 12, 2025