Security Justification for Strumok Stream Cipher Against Correlation Attacks Over Finite Fields of Characteristic 2 - A. M. Oleksiichuk; S. M. Koniushok; M. V. Poremskyi (Mathematical and computer modelling. Series: Technical sciences, 2019)