| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-06-18 | Add the specification | Osmium Sorcerer | |
| While the symbolic model is useful to demonstrate security properties, a concrete, self-contained specification that said model proves and can be referenced is essential. This repository shall hold everything related to the protocol. | |||
 |
index : sof-auth | |
| Reference materials for the auth used at SoF | Osmium Sorcerer |
| aboutsummaryrefslogtreecommitdiff |
path: root/sof-dhcr-spec.adoc