sof-auth/sof-dhcr-spec.adoc, branch master Reference materials for the auth used at SoF Add the specification 2026-06-18T04:25:21+00:00 Osmium Sorcerer os@sof.beauty 2026-06-18T04:25:21+00:00 4bb60d0ccd288defb848dd28beac344295dfa602 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. 
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.