Publications

Publications

2017

  • J. Burchard, A.-S. Messeng Ekossono, J. Horacek, M. Gay, B. Becker, T. Schubert, M. Kreuzer und I. Polian, „Towards Mixed Structural-Functional Models for Algeb­raic Fault Attacks on Ciphers,“ Int’l Verification and Security Workshop, Thessaloniki, 2017.

2016