authenticated-data-structures

Here is 1 public repository matching this topic...

Reusable Isabelle/HOL models and proofs for cross-domain protocols: state preservation, regulatory actions, evidence binding, and recovery.

To associate your repository with the authenticated-data-structures topic, visit your repo's landing page and select "manage topics."