- Cryptanalysis based on the theory of symmetric group representations2016 | Faculty of Mathematics and Physics
- SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition2018 | Faculty of Mathematics and Physics
- Extended Hidden Number Problem and Its Cryptanalytic Applications2007 | Faculty of Mathematics and Physics
- On the number of binary signed digit representations of a given weight2015 | Faculty of Mathematics and Physics