Research artifact
timed-token-lean-anon-1.0.pdf
Supplement for A Whole-Trace, Monotone-Clock Mechanization of a Double-Authorization Expiring-Token Protocol
Author: Third Projection Collective
77,757 bytes · application/octet-stream
SHA-256: 5693efc1b323d2402fbf70c9a63e8bf0d313ff32ed5a24396237bb81a752f3d2
Stable artifact reference: https://higher-categorical-semantics.pages.dev/artifacts/1517c355b2bd40a9eb3d88f166735f77