• FAN

  • Referenced in 1 article [sw40834]
  • security and up to 72-bit authentication tag with the IV-respecting restriction. It consists ... accumulator, and updates by constant mutual feedbacks between the linear and nonlinear parts, which rapidly...
  • MILENIO

  • Referenced in 1 article [sw02265]
  • security to the server and agents against mutual or third party attacks. SAHARA ... features: specific assignment of privileges; agents’ authorities authentication using digital signatures; allowances management to limit...
  • CrEme

  • Referenced in 1 article [sw39404]
  • state predicates whose invariant proofs may (even mutually) depend on other state predicates whose invariant ... Crème proves fully automatically that the NSLPK authentication protocol satisfies the secrecy property...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Magma

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

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

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

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

  • Referenced in 309 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • 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...
  • VerICS

  • Referenced in 35 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • 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...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • LIBSVM

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...