For example,Бобцов

FEATURES OF THE SMT-PROTOCOL IMPLEMENTATION BASED ON PYTHON 3

Annotation

  Implementation of the SMT-protocol on the base of Shamir secret sharing scheme is described. Several characteristics of the protocol, such as algorithmic complexity, speed, and safety are studied.

Читать текст статьи

Keywords

Articles in current issue