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