• FairplayMP

  • Referenced in 16 articles [sw11926]
  • Multi-Party”), a system for secure multi-party computation. Secure computation ... great achievements of modern cryptography, enabling a set of untrusting parties to compute any function...
  • Rmind

  • Referenced in 2 articles [sw21135]
  • Cryptographically Secure Statistical Analysis. Secure multi-party computation is a practical cryptographic method for processing ... statistical analysis functions in the privacy-preserving setting including simple statistics, t-test, chi-squared...
  • HyCC

  • Referenced in 2 articles [sw41612]
  • Practical Secure Computation. While secure multi-party computation (MPC) is a vibrant research topic ... protocols, but only looked at a limited set of protocols. In this work we present...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • HMQV

  • Referenced in 80 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • NAXOS

  • Referenced in 73 articles [sw03050]
  • LaMacchia, Lauter and Mityagin recently presented a strong...
  • EC2C-PAKA

  • Referenced in 11 articles [sw03308]
  • EC2C-PAKA: an efficient client-to-client password...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Hadoop

  • Referenced in 131 articles [sw08481]
  • The Apache Hadoop software library is a framework...
  • Dryad

  • Referenced in 20 articles [sw08916]
  • Dryad: distributed data-parallel programs from sequential building...
  • Trustedpals

  • Referenced in 6 articles [sw09013]
  • TrustedPals: Secure Multiparty Computation Implemented with Smart Cards...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • The open-source fixed-point model checker for...
  • HElib

  • Referenced in 40 articles [sw09518]
  • Algorithms in helib. HElib is a software library...
  • TASTY

  • Referenced in 20 articles [sw09865]
  • TASTY: Tool for Automating Secure Two-partY computations...
  • MiniLEGO

  • Referenced in 13 articles [sw09866]
  • Minilego: efficient secure two-party computation from general...
  • PrivateLR

  • Referenced in 90 articles [sw11354]
  • PrivateLR: Differentially Private Regularized Logistic Regression. PrivateLR implements...