Pages that link to "Item:Q2908865"
From MaRDI portal
The following pages link to Computationally sound abstraction and verification of secure multi-party computations (Q2908865):
Displaying 4 items.
- How to simulate it in Isabelle: towards formal proof for secure multi-party computation (Q1687724) (← links)
- Specifying and verifying secrecy in workflows with arbitrarily many agents (Q1990507) (← links)
- Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender (Q5498725) (← links)
- Function-Dependent Commitments for Verifiable Multi-party Computation (Q6108843) (← links)