- Referenced in 59 articles
- framework. For ISO standards on public-key encryption, Shoup introduced the framework ... formalizing and realizing one-directional hybrid encryption; KEM is a formalization of asymmetric encryption specified ... formalization of symmetric encryption. This paper investigates a more general hybrid protocol, secure channel, using ... used for multiple bi-directional encrypted transactions in a session. This paper shows that...
- Referenced in 1890 articles
- Coq is a formal proof management system. It...
- Referenced in 282 articles
- GMP is a free library for arbitrary precision...
- Referenced in 3315 articles
- Computer algebra system (CAS). Magma is a large...
- Referenced in 5373 articles
- The result of over 30 years of cutting...
- Referenced in 263 articles
- MapReduce is a new parallel programming model initially...
- Referenced in 6355 articles
- Almost any workflow involves computing results, and that...
- Referenced in 13544 articles
- MATLAB® is a high-level language and interactive...
- Referenced in 1994 articles
- Sage (SageMath) is free, open-source math software...
- Referenced in 522 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 64 articles
- The JPEG 2000 Suite provides a comprehensive overview...
- Referenced in 251 articles
- Practical power analysis attacks on software implementations of...
- Referenced in 24 articles
- BLISS: Bimodal Lattice Signature Schemes. This implementation in...
- Referenced in 5 articles
- NESSIE: A European approach to evaluate cryptographic algorithms...
- Referenced in 1325 articles
- The NVIDIA® CUDA® Toolkit provides a comprehensive development...
- Referenced in 629 articles
- PVS is a verification system: that is, a...
- Referenced in 880 articles
- Haskell is a standardized, general-purpose purely functional...
- Referenced in 3403 articles
- UC Irvine Machine Learning Repository. We currently maintain...
- Referenced in 690 articles
- GUROBI OPTIMIZER: State of the Art Mathematical Programming...