Results 1 to 20 of 35
Sort by:

  • 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...