Skip to content

Key schedule security #145

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 34 commits into
base: main
Choose a base branch
from
Draft

Key schedule security #145

wants to merge 34 commits into from

Conversation

cmester0
Copy link
Collaborator

@cmester0 cmester0 commented Mar 4, 2025

This PR addresses [...] described in issue #.

Type of change

  • Bug fix
  • New feature
  • Breaking change
  • Documentation
  • Automation

Motivation and Context

Changes

Checklist

  • I have linked an issue to this PR
  • I have described the changes
  • I have read and understood the code of conduct, contribution guidelines, and contributor license agreement
  • I have added tests for all changes
  • I have tested that all tests pass locally and all checks pass
  • I have updated documentation if necessary

Fixes #

cmester0 and others added 30 commits November 5, 2024 15:02
@cmester0
move key scheduling to seperate file
1a1705a
@cmester0
Use xpd instead of derive_server
e296d9a
@cmester0
Working xpd and xtr
7d046d3
@cmester0
Use key struct
e9f370e
@cmester0
Working with TagKey
c52f5e6
@cmester0
WIP on packages/games for KeySchedule
69134a0
@cmester0
Filling in SSP package definitions
665b72d
@cmester0
Restructure proof
c0ab4a3
@cmester0
Update proof
911b913
@cmester0
Minor progress on proof
9a2c613
@cmester0
Fixing extraction
551a5a7
@cmester0
Build up to Core theorem statement
ff069c6
@cmester0
Restructure to a dependency struct/class
f4477fe
@cmester0
Restructure
300463b
@cmester0
Restructure
e322862
@cmester0
Put d into dependencies
9ba00c8
@cmester0
Cleanup extra files, and add more definitions
4946f94
@cmester0
WIP on fixing key schedule impl
6065f94
@cmester0
WIP going to handles and key maps instead of directly using keys
a132369
@cmester0
Switch to using handlers
bcf16ae
@cmester0
Cleanup use of handles
3e79eac
@cmester0
Add and fix issues for PSK?
bc658e0
@cmester0
Cleanup
cbe7d75
@cmester0
Update proof
7933bbd
@cmester0
Setup of key package hiearchy
37f6064
@cmester0
WIP on main theorem
e20cc16
@cmester0
Make proof for multi-dimensioned hybrid proof easier
45a1aca
@jschneider-bensch
Workaround extraction issues
9a3b214
@cmester0
Update
539c262
@franziskuskiefer
update actions
072eca8
@cmester0 cmester0 requested a review from a team as a code owner March 4, 2025 16:54
@cmester0 cmester0 marked this pull request as draft March 4, 2025 16:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@cmester0 @jschneider-bensch @franziskuskiefer