Метод та утиліта для мінімізації bitsliced-представлення 4×4 s-boxes

2022;
: сс. 131 - 146
1
Національний університет "Львівська політехніка", м. Львів, Україна
2
Національний університет "Львівська політехніка", м. Львів, Україна
3
Національний університет «Львівська політехніка», кафедра захисту інформації

Статтю присвячено методам і засобам для генерації bitsliced-описів бієктивних 4×4 S-Boxes зі зменшеною кількістю вентилів/інструкцій. Згенеровані запропонованим  методом  bitsliced- описи дають змогу покращити безпеку та продуктивність як програмних імплементацій криптоалгоритмів, що використовують 4×4 S-Boxes, на різноманітних процесорних архітектурах, так і апаратних засобів на базі FPGA і ASIC.

У роботі розроблено евристичний метод мінімізації, що використовує стандартні логічні інструкції AND, OR, XOR, NOT, які доступні в більшості 8/16/32/64-бітних процесорах. Завдяки поєднанню в методі різних евристичних технік (попередніх обчислень, вичерпному пошуку на певну глибину, DFS-алгоритму, уточнюючому пошуку) вдалося зменшити кількість вентилів у bitsliced-описах S-Boxes порівнюючи з іншими відомими методами. Розроблено відповідне програмне забезпечення у вигляді утиліти мовою Python і протестовано її роботу на 225 S-Boxes різноманітних криптоалгоритмів. Встановлено, що розроблений метод у 57 % випадках генерує bitsliced-опис із меншим числом вентилів порівнюючи з найкращими відомими на сьогодні методами, реалізованими в утилітах LIGHTER /Peigen.

  1. Biham E. «A fast new DES implementation in software», in International Workshop on Fast Software Encryption, 1997. Pp. 260–272. DOI: https://doi.org/10.1007/BFb0052352.
  2. Kasper E. and Schwabe P. «Faster and timing-attack resistant AES-GCM», in Proc. 11th International Workshop Cryptographic Hardware and Embedded Systems, 2009. Pp. 1–17. DOI: https://doi.org/10.1007/978-3- 642-04138-9_1.
  3. Adomnicai A. and Peyrin T. «Fixslicing AES-like ciphers: New bitsliced AES speed records on ARM-Cortex M and RISC-V», IACR Transactions on Cryptographic Hardware and Embedded Systems, 2021(1). Pp. 402–425. DOI: https://doi.org/10.46586/tches.v2021.i1.402-425.
  4. Schwabe P. and Stoffelen K. «All the AES you need on Cortex-M3 and M4», in International Conference on Selected Areas in Cryptography, 2016. Pp. 180–194. DOI: https://doi.org/10.1007/978-3-319-69453-5_10.
  5. Zhang J., Ma M., and Wang P. «Fast implementation for SM4 cipher algorithm based on bit-slice technology», in International Conference on Smart Computing and Communication, 2018. Pp. 104–113. DOI: https://doi.org/10.1007/978-3-030-05755-8_11.
  6. Nishikawa N., Amano H., and Iwai K., «Implementation of bitsliced AES encryption on CUDA-enabled GPU», in International Conference on Network and System Security, 2017. Pp. 273–287. DOI: https://doi.org/10.1007/978-3-319-64701-2_20.
  7. Matsuda S.and Moriai S. «Lightweight cryptography for the cloud: exploit the power of bitslice implementation», in International Workshop on Cryptographic Hardware and Embedded Systems, 2012. Pp. 408– 425. DOI: https://doi.org/10.1007/978-3-642-33027-8_24.
  8. Kwan M. «Reducing the Gate Count of Bitslice DES”, IACR Cryptology ePrint Archive, 2000 (51). URL: http://fgrieu.free.fr/Mattew  %20Kwan   %20-   %20Reducing   %20the   %20Gate   %20Count   %20of   %20Bitslice%20DES.pdf [accessed: 24 October 2022].
  9. Dansarie M. «sboxgates: A program for finding low gate count implementations of S-boxes”, Journal of Open Source Software, 6(62), 2021. Pp. 1–3. DOI: https://doi.org/10.21105/joss.02946.
  10. Stoffelen K. «Optimizing S-Box Implementations for Several Criteria Using SAT Solvers», in Proc. 23rd International Conference on Fast Software Encryption, 2016. Pp. 140–160. DOI: https://doi.org/10.1007/978-3-662- 52993-5_8.
  11. Courtois N., Mourouzis T. and Hulme D. «Exact logic minimization and multiplicative complexity of concrete algebraic and cryptographic circuits", International Journal On Advances in Intelligent Systemsю Vol. 6. No. 3 and 4. Pp. 165–176, 2013.
  12. Jean J., Peyrin T.,. Sim S, Tourteaux J. «Optimizing Implementations of Lightweight Building Blocks”, IACR Transactions on Symmetric Cryptology, 2017(4), 130–168. DOI: https://doi.org/10.13154/tosc.v2017.i4.130-168.
  13. Bao Z., Guo J., Ling S. and Sasaki Y. «Peigen – a platform for evaluation, implementation, and generation of S- boxes», IACR Transactions on Symmetric Cryptology. Pp. 330–394, 2019. DOI: https://doi.org/10.13154/ tosc.v2019.i1.330-394.
  14. Ya. Sovyn, «Bitsliced sbox», 2022. [Online]. URL: https://drive.google.com/drive/folders/ 1Ae5lXvzhBcVAEq3VaB8lZvFL-gy_B4ZH?usp=sharing [accessed: 24 October 2022].