Podporný softvér pre analýzu MQ kryptosystémov - Radvan, Peter (2020)