Autofault: towards automatic construction of algebraic fault attacks

J Burchard, M Gay, ASM Ekossono… - 2017 Workshop on …, 2017 - ieeexplore.ieee.org
A prototype of the framework AutoFault, which automatically constructs fault-injection attacks
for hardware realizations of ciphers, is presented. AutoFault can be used to quickly evaluate …

Algebraic and Logic Solving Methods for Cryptanalysis

J Horáček - 2020 - opus4.kobv.de
Algebraic solving of polynomial systems and satisfiability of propositional logic formulas are
not two completely separate research areas, as it may appear at first sight. In fact, many …

1st International Workshop on Sustainable Internet and Internet for Sustainability (SustaInet 2011

M Conti, G Anastasi, JM Pierson… - 2011 IEEE International …, 2011 - computer.org
A prototype of the framework AutoFault, which automatically constructs fault-injection attacks
for hardware realizations of ciphers, is presented. AutoFault can be used to quickly evaluate …