| Autofault: towards automatic construction of algebraic fault attacks J Burchard, M Gay, ASM Ekossono, J Horáček, B Becker, T Schubert, ... 2017 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 65-72, 2017 | 24 | 2017 |
| Small scale AES toolbox: algebraic and propositional formulas, circuit-implementations and fault equations M Gay, J Burchard, J Horácek, AS Messeng Ekossono, T Schubert, ... | 22 | 2016 |
| Algebraic fault attack on SHA hash functions using programmatic SAT solvers S Nejati, J Horáček, C Gebotys, V Ganesh Principles and Practice of Constraint Programming: 24th International …, 2018 | 13 | 2018 |
| On conversions from CNF to ANF J Horáček, M Kreuzer Journal of Symbolic Computation 100, 164-186, 2020 | 11 | 2020 |
| Computing Boolean border bases J Horácek, M Kreuzer, ASM Ekossono 2016 18th international symposium on symbolic and numeric algorithms for …, 2016 | 6 | 2016 |
| Algebraic and Logic Solving Methods for Cryptanalysis J Horáček Universität Passau, 2020 | 5 | 2020 |
| Integrating algebraic and SAT solvers J Horáček, J Burchard, B Becker, M Kreuzer Mathematical Aspects of Computer and Information Sciences: 7th International …, 2017 | 5 | 2017 |
| A signature based border basis algorithm J Horáček, M Kreuzer, AS Messeng Ekossono Mathematics in Computer Science 14, 177-189, 2020 | 3 | 2020 |
| Refutation of products of linear polynomials J Horácek, M Kreuzer 3th International Workshop on Satisfiability Checking and Symbolic …, 2018 | 3 | 2018 |
| Towards mixed structural-functional models for algebraic fault attacks on ciphers J Burchard, ASM Ekossono, J Horáček, M Gay, B Becker, T Schubert, ... 2017 IEEE 2nd International Verification and Security Workshop (IVSW), 7-12, 2017 | 3 | 2017 |
| Grupové okruhy v teorii kódu J Horácek Bakalárská práce, Univerzita Karlova v Praze, Matematicko-fyzikálnı fakulta, 2012 | 2 | 2012 |
| 3BA: A Border Bases Solver with a SAT Extension J Horáček, M Kreuzer Mathematical Software–ICMS 2018: 6th International Conference, South Bend …, 2018 | 1 | 2018 |
| Detecting unsolvability of interval linear systems J Horácek, J Horácek, M Hladık TNC 18, 54-69, 0 | 1 | |
| Kódy, okruhy a moduly J Horáček Univerzita Karlova, Matematicko-fyzikální fakulta, 2014 | | 2014 |
Martin KreuzerUniversity of PassauVerified email at uni-passau.de
