Computing Boolean Border Bases. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (SYNASC, 2016)

AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. - Jan Burchard; Mael Gay; Ange-Salomé Messeng Ekossono; Jan Horácek; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (FDTC, 2017)

Towards mixed structural-functional models for algebraic fault attacks on ciphers. - Jan Burchard; Ange-Salomé Messeng Ekossono; Jan Horácek; Mael Gay; Bernd Becker 001; Tobias Schubert 001; Martin Kreuzer; Ilia Polian (IVSW, 2017)

A Signature Based Border Basis Algorithm. - Jan Horácek; Martin Kreuzer; Ange-Salomé Messeng Ekossono (Math. Comput. Sci., 2020)