Skip to content

Pull requests: GaloisInc/VERSE-OpenSUT

New pull request New
5 Open 61 Closed
5 Open 61 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

mkm: allow setting key distribution policy with a config file application software application software components SoW TA2.1.1.A Develop the Open SUT primarily using existing components and specifications.
#149 opened Feb 7, 2025 by spernsteiner Loading…
7 tasks done
MVP 1.0
1
trusted boot: use XMSS signatures instead of a SHA256 hash application software application software components
#148 opened Jan 8, 2025 by peterohanley Loading…
2 of 7 tasks
Next PI meeting
7
Add CN specs to MKM
#142 opened Dec 2, 2024 by podhrmic Loading…
4 of 6 tasks
1
44
Add a OpenSUT startup script
#141 opened Dec 2, 2024 by podhrmic • Draft
1
Add a writeup of AI experiments
#140 opened Nov 28, 2024 by podhrmic • Draft
1
1
ProTip! What’s not been updated in a month: updated:<2025-01-09.