| 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 | 26 | 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, ... | 23 | 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 | 14 | 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 SC-Square@ FLOC, 33, 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 Passau在 uni-passau.de 的电子邮件经过验证
