PhD Candidate
Visit Address: 
Thormøhlensgate 55
Data Block, 5th floor
5008 Bergen
Postal Address: 
Postboks 7803
5020 Bergen
+47 55 58 40 60
Download vCard
Journal articles
  • Helleseth, Tor; Jansen, Cees J. A.; Kazymyrov, Oleksandr; Kholosa, Alexander. 2013. State space cryptanalysis of the MICKEY cipher. Information Theory and Applications. doi: 10.1109/ITA.2013.6502941
  • Budaghyan, Lilya; Kazymyrov, Oleksandr. 2012. Verification of Restricted EA-Equivalence for Vectorial Boolean Functions. Lecture Notes in Computer Science. 7369. 108-118. doi: 10.1007/978-3-642-31662-3_8
Reports and theses
  • Kazymyrov, Oleksandr. 2014. Methods and Tools for Analysis of Symmetric Cryptographic Primitives. University of Bergen.

More information in national current research information system (CRIStin)

    1. Kazymyrov, O., Raddum, H.: Algebraic attacks using binary decision diagrams. In Pre-proceedings of BalkanCryptSec 2014, pp. 31–44, 2014.
    2. Eilertsen, A. M., Kazymyrov, O., Kazymyrova, V., Storetvedt, M.: A Sage library for analysis of nonlinear binary mappings. In Pre-proceedings of Central European Conference on Cryptology (CECC14), pp. 69–78, 2014.
    3. Kazymyrov, O., Kazymyrova, V., Oliynykov, R.: A method for generation of high-nonlinear S-boxes based on gradient descent. In Mathematical Aspects of Cryptography, vol. 5, pp. 71–78. Steklov Mathematical Institute, 2014.
    4. Kazymyrov, O., Kazymyrova, V.: Algebraic aspects of the Russian hash standard GOST R 34.11-2012. In Pre-proceedings of 2nd Workshop on Current Trends in Cryptology (CTCrypt 2013), pp. 160–176, 2013.
    5. Kazymyrov, O., Kazymyrova, V.: Extended criterion for absence of fixed points. In Pre-proceedings of 2nd Workshop on Current Trends in Cryptology (CTCrypt 2013), pp. 177–191, 2013.
    6. Helleseth, T., Jansen, C.J.A., Kazymyrov, O., Kholosha, A.: State space cryptanalysis of the MICKEY cipher. In Information Theory and Applications Workshop (ITA), pp. 1–10. Institute of Electrical and Electronics Engineers (IEEE), 2013.
    7. Budaghyan, L., Kazymyrov, O.: Verification of restricted EA-equivalence for vectorial Boolean functions. In Özbudak, F., Rodríguez-Henríquez, F. (eds.), Arithmetic of Finite Fields, vol. 7369 of Lecture Notes in Computer Science, pp. 108–118. Springer Berlin Heidelberg, 2012
    8. Others