Research artifact
timed-token-lean-anon-bundle-1.0.zip
Supplement for A Whole-Trace, Monotone-Clock Mechanization of a Double-Authorization Expiring-Token Protocol
Author: Third Projection Collective
71,954 bytes · application/zip
SHA-256: 341831e4b7b1ff29984cd6faf192c978084ba7ad03e74e209e93fc8fcc492753
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/701527e47410994953e648e816abe9c2