Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert, Martin Kreuzer, Ilia Polian. Towards mixed structural-functional models for algebraic fault attacks on ciphers. In IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017. pages 7-12, IEEE, 2017. [doi]
Abstract is missing.