Investigation of the expediency of using AVX512 for the implementation of modern algorithms for electronic signatures

Development and investigation of electronic signatures on algebraic lattices is one of the promising directions in post-quantum cryptography. Cryptosystems CRYSTALS-Dilithium and Falcon represent lattice cryptography in the category of electronic signatures in the NIST PQC open competition among the finalists. Most operations in these cryptosystems are reduced to addition and multiplication of polynomials in a finite field with a generating cyclotomic polynomial xN + 1. Using such a field allows the use of a number-theoretic transformation (NTT) to create fast and reliable software implementations. In practice, vectorized set (SIMD) instructions are used to achieve good performance. AVX2 instructions are most often used among existing implementations. At the same time, the possibility of using AVX512 instructions remains little explored. The purpose of this work is to investigate the feasibility of applying AVX512 instructions to optimization of the NTT, used in modern EPs on algebraic lattices. In particular, the paper presents a method for implementing a number-theoretic transformation using AVX512 for CRYSTALS-Dilithium and Falcon. An increase in performance is shown in comparison with the reference optimized author's implementations.

Method and tools for verification of cross-platform onboard software

The developed method and tools for verification and confirmation of onboard software are presented, which guarantee its compliance with all established functional and non-functional requirements throughout the entire life cycle of cross-platform onboard software. This approach allows not only to increase the fault tolerance of the control system software during operation, but also allows collecting statistics on the operation of software components in the process of real functioning of all subsystems. This information allows you to identify possible situations in which software failures appear, which allows you to develop more reliable software components in the future. The results of the operation of the version control function of the onboard software in the simulation environment are presented. The process of collecting statistics for identifying faulty versions is described.

Method and tools for verification of cross-platform onboard software

The developed method and tools for verification and confirmation of onboard software are presented, which guarantee its compliance with all established functional and non-functional requirements throughout the entire life cycle of cross-platform onboard software. This approach allows not only to increase the fault tolerance of the control system software during operation, but also allows collecting statistics on the operation of software components in the process of real functioning of all subsystems. This information allows you to identify possible situations in which software failures appear, which allows you to develop more reliable software components in the future. The results of the operation of the version control function of the onboard software in the simulation environment are presented. The process of collecting statistics for identifying faulty versions is described.

Reliable Requirements Engineering Practices for COVID-19 Using Blockchain

Improvement in the requirements for engineering practices is needed in areas such as requirement elicitation, validation, prioritization, and negotiations between stakeholders to create successful projects for COVID-19 (coronavirus disease 2019) software. Many algorithms and techniques are used to create quality software projects, but they still need more improvement to work effectively for global pandemic COVID-19 software. By improving the reliability of requirement engineering practices using blockchain-based technology, the software will be reliable and will make it easier for the users working in a lockdown situation because of COVID-19. Therefore, our purpose is to identify the factors for reliable software engineering practices using blockchain-oriented technology for COVID-19 software. A systematic literature review is conducted to identify challenges and offer solutions. Through using blockchain-based technology for requirement engineering practices, the requirements will be gathered accurately and validated, and the conflicts between stakeholders will also be solved. It will improve the quality and reliability of COVID-19 software projects, which will help society work effectively from home. Improvement in the quality and reliability of COVID-19 software will improve users’ interest, and their working capacity will be increased.

Test-Driven Development pada Pengembangan Aplikasi Android untuk Memantau COVID-19

Dalam pengembangan perangkat lunak, terdapat banyak teknik dan pendekatan yang digunakan untuk menghasilkan perangkat lunak yang handal. Kualitas perangkat lunak sangat bergantung pada pengujian perangkat lunak. Namun tidak semua pengembang peduli dengan tahapan pengujian pada sebuah perangkat lunak. Penelitian ini bertujuan untuk mengetahui pengaruh dari menerapkan proses pengujian dalam mengembangkan perangkat lunak dengan menggunakan metode TDD. Pada Metode TDD, pengembangan perangkat lunak dimulai dengan menulis test case terlebih dahulu lalu kemudian menulis kode. Pada artikel ini, dikembangkan aplikasi mobile dengan menerapkan metode TDD. Perangkat lunak yang dikembangkan adalah berupa sistem informasi mengenai data laporan kasus COVID-19. Data diambil dari Johns Hopkins University The Center of Systems Science and Engineering (JHU CSSE). Hasil penerapan metode TDD menunjukkan bahwa fungsi dan fitur dari perangkat lunak yang dibangun dapat bekerja dan terintegrasi dengan baik antar satu sama lain. Kode yang dihasilkan dari penerapan TDD juga menjadi rapih karena dilakukannya proses refactoring. In Software Engineering, there are many techniques and approaches that can be used to build a reliable software. The quality of a software relies mostly on the software testing process. However, not many developers are bothered with the testing step of a software. The purpose of this article is to learn the results from implementing a testing process on software developmenty. In TDD, the development is started by writing test case first and then writing code. This article developed a mobile application by applying TDD in the process. The android application that had been developed is an information system about report cases on COVID-19. The cases are coming from Johns Hopkins University The Center of Systems Science and Engineering (JHU CSSE). The result of using TDD in development proves that all functions and features of the developed application are working and integrated well.