• fhe

  • Referenced in 40 articles [sw23227]
  • Naccache and M. Tibouchi, ”Public-key Compression and Modulus Switching for Fully Homomorphic Encryption over...
  • TinyECC

  • Referenced in 20 articles [sw09089]
  • public key encryption scheme (ECIES). TinyECC uses a number of optimization switches, which can turn...
  • SipHash

  • Referenced in 10 articles [sw09726]
  • byte input with a fresh key in 140 cycles on an AMD FX-8150 processor ... MACs. We propose that hash tables switch to SipHash as a hash function...
  • LabHEART

  • Referenced in 4 articles [sw40679]
  • allows switching between voltage and current clamp and easy on-line manipulation of key parameters...
  • Frenetic

  • Referenced in 7 articles [sw16270]
  • level packet-processing rules on physical switches. Overall, this paper makes three main contributions ... languages for programming networks and identify the key limitations; (2) We present a language design...
  • DL_MONTE

  • Referenced in 4 articles [sw37767]
  • overview of DL_MONTE, focusing on key features recently added to the package. These include ... slit’ or `slab’ boundary conditions); the lattice-switch Monte Carlo (LSMC) method for evaluating precise...
  • Game_Based_Crypto

  • Referenced in 1 article [sw38015]
  • permutation/random-function switching lemma, security of the Elgamal and hashed Elgamal public-key encryption scheme...
  • zUpdate

  • Referenced in 2 articles [sw34181]
  • evolving due to various updates such as switch upgrades and VM migrations. Each update must ... critical, interactive applications hosted in DCNs. The key challenge arises from the inherent difficulty ... perform congestion-free network updates under asynchronous switch and traffic matrix changes. We formulate...
  • VMHunt

  • Referenced in 1 article [sw31771]
  • partially-virtualized binary code simplification. Our key insight is that code virtualization is a kind ... level virtual machine (VM), and the context switch patterns when entering and exiting...
  • p4v

  • Referenced in 1 article [sw40690]
  • classic verification techniques but adds several key innovations including a novel mechanism for incorporating assumptions ... functionality of on a modern data center switch, in under three minutes...
  • GAP

  • Referenced in 3221 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 3363 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

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

  • Referenced in 6445 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NTL

  • Referenced in 222 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • R

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

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

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...