- PPP-Completeness and Extremal Combinatorics2023 | Matematicko-fyzikální fakulta
- On Search Complexity of Discrete Logarithm2021 | Matematicko-fyzikální fakulta
- Consistency of circuit evaluation, extended resolution and total NP search problems2016 | Matematicko-fyzikální fakulta
- HARDNESS OF CONTINUOUS LOCAL SEARCH: QUERY COMPLEXITY AND CRYPTOGRAPHIC LOWER BOUNDS2020 | Matematicko-fyzikální fakulta