On the Security of One Password Authenticated Key Exchange Protocol

In this paper the Security Evaluated Standardized Password Authenticated Key Exchange (SESPAKE) protocol is proposed (this protocol is approved in the standardization system of the Russian Federation) and its cryptographic properties are analyzed. The SESPAKE protocol includes a key agreement step and a key authentication step. We define new indistinguishability-based adversary model with a threat of false authentication that is an extension of the original indistinguishability-based model up to the case of protocols with authentication step without key diversification. We prove the protocol security under two types of threats: a classic threat of distinguishing a generated session key from a random string and a threat of false authentication. This protocol is the first password authenticated key exchange protocol (PAKE) protocol without key diversification for a full version of which a security proof has been obtained. The paper also contains a brief review of the known results dedicated to analysis of cryptographic properties of PAKE protocols

The free and proprietary compilers C(C++) and Fortran at development of effective computing applications

The work presented by authors is devoted to features of implementation of algorithms of calculus mathematics with the aid of free and proprietary compilers. The analysis of speed of consecutive and parallel applications was carried out on the example of task of matrix multiplication, the solution of systems of the linear algebraic equations by exact and iterative methods. New technologies of parallel programming (auto parallelization, coarrays) are implemented only in modern proprietary compilers. Results of the analysis of high-speed performance of parallel programs of the high-precision calculations developed by authors are presented. Recommendations about the features of realization of task of calculus mathematics were worked out with the aid of various programming languages and compilers. Free and proprietary compilers allow to develop highly effective consecutive applications. Advantages of proprietary compilers are shown when developing parallel applications first of all due to support of the new technologies (auto parallelization, coarrays)