Sharemind
From MaRDI portal
Software:34408
No author found.
Related Items (16)
Secure Multi-Party Computation of Boolean Circuits with Applications to Privacy in On-Line Marketplaces ⋮ Improving the efficiency of AES protocols in multi-party computation ⋮ Rate-limited secure function evaluation ⋮ Cryptographic algorithms for privacy-preserving online applications ⋮ A formal treatment of the role of verified compilers in secure computation ⋮ How to simulate it in Isabelle: towards formal proof for secure multi-party computation ⋮ On compiling Boolean circuits optimized for secure multi-party computation ⋮ Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs ⋮ Homomorphic extensions of CRT-based secret sharing ⋮ Secure Outsourced Computation ⋮ On the exact round complexity of secure three-party computation ⋮ Generic Constant-Round Oblivious Sorting Algorithm for MPC ⋮ High-Precision Secure Computation of Satellite Collision Probabilities ⋮ Network Oblivious Transfer ⋮ Approximation Algorithms for Union and Intersection Covering Problems ⋮ An efficient passive-to-active compiler for honest-majority MPC over rings
This page was built for software: Sharemind
