Home > Software >
The problems related to representation, defining and computing the most important cryptographic properties of Boolean and Vector Boolean functions (S-boxes) require effective algorithms. With the increasing amount of input data, the problem requires more computational resources. To compute some of the cryptographic properties (linearity, autocorrelation, algebraic degree, differential uniformity) very effective algorithms have to be realized. These algorithms are suitable for parallel implementation.
Current release (for windows): v0.2 - Download
In order to be able to run the program of Windows you need to have install Visual C++ Redistributable Packages for Visual Studio 2013 Download link
Source code, Visual 2013 C++ Project and documentation - Download
BSbox-tools is developed software for representation, defining and computing the most important cryptographic properties of Boolean and Vector Boolean functions (S-boxes). For development of this software is use our CUDA oriented library BoolSPLG (Boolean S-box Properties Library for GPUs), a library with parallel algorithms for Boolean functions and S-boxes for GPU. To use this software there is no need knowledge of a programming language. BoolSPL (Boolean S-box parallel library for GPU) provides, reusable software components for every layer of the CUDA programming model [5]. BoolSPLG is a library consisting procedures for analysis and compute cryptographic properties of Boolean and Vector Boolean function (S-box). Our procedures have function for auto grid configuration. Most of the functions are designed to compute the data in registers because they offer the highest bandwidth.
BSbox-tools is specialized console application program for representation, defining and computing the most important cryptographic properties of Boolean and Vector Boolean functions (S-boxes). With other words BSbox-tools represents a console interface program on the BoolSPL library. The version BSbox-tools_v0.2 is based on BoolSPL_v0.2 library version. This application combines CPU and GPU functionality.
On figure 1 is show main menu of BSbox-tools console interface program. How we can see it is given some information about the program as current version, minimal requires compute capability, notification if minimal requires are fulfilled. After initial information their info about input and output files and then follows menu with the options.
The first submenu (figure 2) “1. Information for GPU(s) - Properties, Utilities, Bandwidth Test” can help to check GPU device Properties, Utilities and to perform Bandwidth Test.
The second submenu (figure 3) from the main menu “2. Compute cryptographic properties (GPU) of Boolean function” have option that compute cryptographic properties Walsh spectra, Linearity, Nonlinearity, Autocorrelation Spectra, Autocorrelation, Algebraic degree, Algebraic Normal Form from True Table and vice versa of Boolean function.
GPU in brackets means that these procedures are executed parallel on GPU.
The third submenu from the main menu is the same as second, but the procedures are intended for CPU execution.
The fourth submenu (figure 4) from the main menu “4. Compute cryptographic properties (GPU) of S-box(es)” have option that compute cryptographic properties Linear Approximation Table, Linearity, Nonlinearity, Autocorrelation Spectra, Autocorrelation, (bitwise) Algebraic Normal Form of input S-box(es), (bitwise) Algebraic degree, Component functions, Difference distribution table, Differential uniformity.
GPU in brackets means that these procedures are executed parallel on GPU.
Тhe fifth submenu from the main menu is the same as fourth, but the procedures are intended for CPU execution.
Sixth and seventh submenu from the main menu are similar as second and third but here we can specify input parameters for investigation of Boolean functions. Eighth and ninth submenu from the main menu are similar as fourth and fifth but here we can specify input parameters for investigation of S-boxes. Option ten form the main menu give interface for random generation of test Boolean(s) function. Input parameter after choice option ten are input number of bits (n) and number for generate Boolean(s) functions. The next option (option eleven) from the main menu give interface for random generation of test S-box(es). Input parameter after choice option eleven are input number of bits (n) and number for generate S-box(es). Whit twelfth and thirteen form the main menu can be change the name of input or output file. Option fourteen and fifteen form the main menu can show content of input or output file. There is also option for information as “About” and “Help”.
In order to gain full functionality from BSbox-tools there is minimal requires for Nvidia GPU that need to be with Compute capability bigger then 3. If hardware doesn’t fulfil minimal requires it is possible to use BSbox-tools but with only CPU functionality figure 5.
Input file format have few input parameters that is similar for input Boolean function and S-box figure 6.
Input parameters:
1. Character “?” indicate start of parameter section.
2. Character “0” indicate Boolean function, character “1” indicate S-box.
3. Size of Boolean function or S-box.
4. Number of bits (n).
Bits of Boolean function can set only with spaces.
Output file will contain result from computing cryptographic properties of Boolean function (or S-box).
How do I get started using BSbox-tools?
For the windows user there need to be have install Visual C++ Redistributable Packages for Visual Studio 2013 to be able to run and use the BSbox-tools.
There is possibility to rebuild the BSbox-tools from the source code. Have in mind that BSbox-tools is developed on Visual Studio 2013.
In order to rebuild BSbox-tools you need to have BoolSPL library (v0.2) (BoolSPL is implemented as a C++ header library) and there is timer function that is use from Boost C++ Libraries.
[1] D. Bikov and I. Bouyukliev, BoolSPLG: A library with parallel algorithms for Boolean functions and S-boxes for GPU, preprint.
[2] D. Bikov, I. Bouyukliev, Parallel Fast Walsh Transform Algorithm and its implementation with CUDA on GPUs. Cybernetics and Information Technologies. Cybernetics and Information Technologies 18, 21–43 (2018).
[3] D. Bikov and I. Bouyukliev, Parallel Fast Mobius (Reed-Muller) Transform and its Implementation with CUDA on GPUs, Proceedings of PASCO 2017, Kaiserslautern, Germany, Germany — July 23 - 24, 2017, ISBN: 978-1-4503-5288-8 (improvement presented in this publication are implemented in current v0.2 BoolSPL library)
[4] D. Bikov and I. Bouyukliev, BoolSPLG: A library with parallel algorithms for Boolean functions and S-boxes for GPU, Poster session, PUMPS+AI 2018, Barcelona, Spain.
[5] CUDA homepage, Availaible on: https://developer.nvidia.com/cuda-zone
[1] I. Bouyukliev, D, Bikov, Applications of the binary representation of integers in algorithms for boolean functions, Proceedings of the Forty Fourth Spring Conference of the Union of Bulgarian Mathematicians SOK “Kamchia”, (2015), pp.161-166, ISSN: 1313-3330
[2] D. Bikov, I. Bouyukliev, Walsh Transform Algorithm and its Parallel Implementation with CUDA on GPUs, Proceedings of 25 YEARS FACULTY OF MATHEMATICS AND INFORMATICS, Veliko Tarnovo, Bulgaria, (2015), pp. 29-34, ISBN: 978-619-00-0419-6
[3] D. Bikov, I. Bouyukliev, A. Stojanova, Benefit of Using Shared Memory in Implementation of Parallel FWT Algorithm with CUDA C on GPUs, Proceedings of 7th International Conference Information Technologies and Education Development, Zrenjanin, Serbia, (2016) pp.250-256, ISBN 978-86-7672-285-3
[4] I. Bouyukliev, D. Bikov, S. Bouyuklieva, S-Boxes from Binary Quasi-Cyclic Codes, Electronic Notes in Discrete Mathematics Volume 57, (2017), pp. 67–72
[5] D. Bikov, I. Bouyukliev, S. Bouyuklieva, Bijective S-boxes of Different Sizes Obtained from Quasi-Cyclic Codes, submitted.