Pages that link to "Item:Q2986886"
From MaRDI portal
The following pages link to An equational approach to secure multi-party computation (Q2986886):
Displaying 12 items.
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation (Q1687724) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- A note on secure multiparty computation via higher residue symbols (Q2040551) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Adaptive security of multi-party protocols, revisited (Q2695654) (← links)
- Computationally sound abstraction and verification of secure multi-party computations (Q2908865) (← links)
- A Multi-Party Protocol for Privacy-Preserving Cooperative Linear Systems of Equations (Q2947113) (← links)
- Compactness vs Collusion Resistance in Functional Encryption (Q3181036) (← links)
- Categorical composable cryptography: extended version (Q6178713) (← links)
- R3PO: reach-restricted reactive program obfuscation and its applications (Q6635820) (← links)