Pages that link to "Item:Q2986886"
From MaRDI portal
The following pages link to An equational approach to secure multi-party computation (Q2986886):
Displayed 8 items.
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Adaptive security of multi-party protocols, revisited (Q2695654) (← links)
- Compactness vs Collusion Resistance in Functional Encryption (Q3181036) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- Categorical composable cryptography (Q6181927) (← links)