• Fortify

  • Referenced in 1 article [sw26890]
  • Resource Injection, (2) Path Manipulation, (3) System Information Leak, (4) Denial of Service...
  • CryptDB

  • Referenced in 16 articles [sw27061]
  • applications are vulnerable to theft of sensitive information because adversaries can exploit software bugs ... administrators may capture and leak data. CryptDB is a system that provides practical and provable...
  • ZIDS

  • Referenced in 1 article [sw33563]
  • data. The system includes an intrusion detection system (IDS) server that ... neither party learns about any additional information. In other words, the IDS client learns nothing ... same time, does not leak any sensitive information about the nature of the sparsity ... full implementation of our privacy-preserving system that includes optimizations that lead to better memory...
  • DarkneTZ

  • Referenced in 1 article [sw32543]
  • with privacy risks as models can leak information about their training data through effective membership ... untrusted part of the operating system. Our results show that even if a single layer...
  • Matlab

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

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • FLUENT

  • Referenced in 440 articles [sw04263]
  • FLUENT is a Computational Fluid Dynamics (CFD) code...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • LUSTRE: a declarative language for real-time programming...
  • DYNA3D

  • Referenced in 106 articles [sw17036]
  • DYNA3D: A nonlinear, explicit, three-dimensional finite element...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • Esterel is both a programming language, dedicated to...
  • Voronoi

  • Referenced in 85 articles [sw21795]
  • Voronoi: Very old, but fast and lightweight C...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • JBoss® Enterprise Application Platform 7 provides an innovative...
  • TyPiCal

  • Referenced in 8 articles [sw23207]
  • TyPiCal: type-based static analyzer for the Pi...
  • JADE

  • Referenced in 146 articles [sw24855]
  • JADE: adaptive differential evolution with optional external archive...