Similar Items: Categorical composable cryptography: extended version
- A categorical account of composition methods in logic (extended version)
- Extended version: enabling lattice-based post-quantum cryptography on the opentitan platform
- Hilbert's Tenth Problem in Coq (Extended Version)
- Isomorphisms of types in the presence of higher-order references (extended version)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
- Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)