SPHINCS+^+ post-quantum digital signature scheme with Streebog hash function

Many commonly used public key cryptosystems will become insecure once a scalable quantum computer is built. New cryptographic schemes that can guarantee protection against attacks with quantum computers, so-called post-quantum algorithms, have emerged in recent decades. One of the most promising candidates for a post-quantum signature scheme is SPHINCS$^+$, which is based on cryptographic hash functions. In this contribution, we analyze the use of the new Russian standardized hash function, known as Streebog, for the implementation of the SPHINCS$^+$ signature scheme. We provide a performance comparison with SHA-256-based instantiation and give benchmarks for various sets of parameters.Comment: 5 pages, 2 figures, 3 table

Mightyl: A compositional translation from mitl to timed automata

Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

System UMD-104M for magnetic flaw detection and measuring of thickness tubing pipes re-use.

An optimal structural scheme and distinguishing features of a new automated system for magnetic flow detection in seamless and electric-welded tubing pipes in the process of pipe production and used pipe recovery were described. It was demonstrated that the application of modern nanotechnology for the manufacturing of single-chip thin-film matrix high-resolution converters can significantly increase the functionality of an inspection unit and provides not only a effective detection of all unacceptable defects such as metal discontinuity and wear of pipe walls, as well as the displacement of the weld edges but also higher sensor reliability ratio (minimum failures).Рассмотрена оптимальная структурная схема и отличительные особенности новой автоматизированной установки для магнитной дефектоскопии бесшовных и электросварных насосно-компрессорных труб в процессе их производства и при восстановлении труб, бывших в эксплуатации. Показано, что применение современных нанотехнологий для изготовления однокристальных тонкопленочных матричных преобразователей высокого разрешения позволяет существенно увеличить функциональные возможности дефектоскопа и обеспечивает не только уверенное выявление всех недопустимых дефектов типа нарушений сплошности металла и износа стенки труб, а также смещений кромок сварного шва, но и более высокие показатели по надежности датчиков (отказы минимальные)

Monkeypox Virus Dissemination in Case of Intranasal Infection of Mice

By the experiments of in vivo intranasal infection of 8-10-days-old outbread ICR mice with Monkeypox virus (MPV) in a dose equal 3.83 lg FFU/specimen, investigated was dynamics of the virus accumulation within various organs, blood cells, and blood serum. In 2 days after infection MPV was detected in blood cells, nasal cavity, lungs, spleen, and duodenum, and in 5 days after - in brain, trachea, liver, kidneys, and blood serum. It was established that 7 days after infection the highest level of MPV production was in the lungs, nasal cavity, and brain, where virus titers in 5 % homogenates were (5.7±0.1), (5.5±0.1), and (5.3±0.3) lg FFU/ml, respectively. In the blood cells virus was traced in 2, 5, and 7 days after challenge, while in blood serum - in 5 and 7 days. MPV blood transfer to the secondary target organs (liver, spleen, duodenum, kidneys, et al. ) was operational, probably, due to the virus proliferation in blood corpuscles. The data obtained and the worked out scheme of MPV dissemination in an organism can be used for the selection and construction of therapeutic anti-pox virus preparations with precise targeted drug delivery

Assessment of Animal Sensitivity to Particularly Dangerous Orthopoxviruses, Using Primary Cultures of Lung Cells

Objective of the study is to investigate the sensitivity of different animals to highly pathogenic Orthopoxviruses applying techniques, based on utilization of primary cultures of lung cells, and to assess the possibility of further deployment of this approach. Materials and methods. Cultural and virological research methods are used. Results and conclusions. Performed is the assessment of sensitivity of outbred mice, marmots and chickens to variola virus (VV) and monkeypox virus (MPV), using suspended primary cultures of lung cells (SPCLC) of these animals. Through inoculation of the mentioned above cell cultures with VV and MPV in a dose of 0.00001 PFU per a cell (plaque forming unit /cell) demonstrated has been virus replication with maximum concentration values in all cases (1,4 - 2,0 lg PFU/ml), mainly 3 days after infection. According to the data on SPCLC, sensitivity to VV in mice, marmots and chickens (ID50 - 50 % infective dose) amounts to (1,3 ± 0,5) lg PFU; (2,3 ± 0,5) lg PFU; and (0,0 ± 0,4) lg PFU respectively, taking into account unhindered interaction of the virus with permissive lung cells in the organism of the animals. As for MPV values for this indicator, they are: (1,7 ± 0,3) lg PFU for mice, and (0,5 ± 0,3) lg PFU - for marmots. Obtained ID50 values for VV using mice SPCLC and for MPV using mice and marmots SPCLC coincide with the ones, studied in direct experiments on intranasal infection with the viruses, with regard to 10 % of the viral application in lungs when deploying the latter method of infection. The fact testifies to the possibility of further deployment of this method for the assessment of animal sensitivity to highly pathogenic Orthopoxviruses based on the results of in vitro experiments

Mice as Animal Model for Evaluation of Therapeutic Efficacy of Preparations against Monkeypox

of MPV after 7 days postinfection, applying peroral administration once within 24 hours (24 hours before infection and 7 days after infection of mouse with 60 µg/g of a preparation). Displayed is the feasibility of using 8–15-days-old ICR mice (body weight 9–11 g) as an animal model for evaluation of therapeutic efficacy of the preparations under development against Monkeypox and smallpox

Possibility of using a mouse SCID as a model animal to variola virus for evaluating anti-smallpox drug efficacy

At present, there is no animal model for smallpox that reflects the weakened immune system in people and can therefore help assess the prophylactic (highly preventive) efficiency of antiviral drugs. To fill in the gap, we have explored the possibility of using outbred immunodeficient SCID mice as a model animal for smallpox with the aid of virolo­gical, histological and electron microscopic and sta­tistical methods. There was no clinical evidence of disease by intranasal infection of mice at a dose of 5.2 log10 PFU (plaque forming units). At the same time, the 50 % infective dose (ID50) of VARV estimated for animals by registering the presence of the virus in their lungs after 4 days post i.n. infection was 3.5 log10 PFU and was relatively similar to that in humans, theoretically determined by identification of the clinical picture of the disease. Virus replication was detected only in the respiratory organs of mice challenged i.n. with VARV at a dose of 5.2 log10 PFU (50 ID50). The values for its concentrations in the lungs and nose resembled those for affected people and well-known animal models (Macaca cynomolgus and ICR mice), respiratorily infected with VARV at similar doses. The existing model animals were not significantly different from SCID mice in the duration of viral presence in the lungs. Moreover, in SCID mice, as in humans and other animal models, similar pathomor- phological changes of inflammatory necrotic nature in the respiratory organs have been reported. Using SCID mice in assessing the prophylactic efficacy of the antiviral drugs NIOCH-14 and ST-246 demonstrated the adequacy of the results obtained to those described in the literature. This opens up the prospect of using SCID mice as an animal model for smallpox to develop antiviral drugs intended for people with severe immuno­suppressive states