Pages that link to "Item:Q2175214"
From MaRDI portal
The following pages link to CryptHOL: game-based proofs in higher-order logic (Q2175214):
Displaying 5 items.
- Formalising \(\varSigma\)-protocols and commitment schemes using crypthol (Q2031427) (← links)
- (Q5028480) (← links)
- Quotients of Bounded Natural Functors (Q5048992) (← links)
- Verified analysis of random binary tree structures (Q5919010) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
