Publikationen
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 Algebraic Fault Attacks on Ciphers,“ Int’l Verification and Security Workshop, Thessaloniki, 2017.
- J. Horacek, M. Kreuzer und A.-S. Messeng Ekossono, „A Signature Based Border Basis Algorithm,” Conf. on Algebraic Informatics (CAI), Kalamata, 2017.
- I. Polian und F. Regazzoni, „Counteracting Malicious Faults in Cryptographic Circuits,” IEEE European Test Symp., Limassol, 2017.
2016
- J. Burchard, Tobias Schubert und Bernd Becker, „Distributed Parallel #SAT Solving,“ IEEE Cluster 2016, verfügbar unter dx.doi.org/10.1109/CLUSTER.2016.20
- J. Horacek, M. Kreuzer und A.-S. Messeng Ekossono, "Computing Boolean Border Bases", in: J. Davenport et. al. (eds.), 18th Int. Symp. on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, 2016, pp. 465-472.
- M. Gay, J. Burchard, J. Horacek, A.-S. Messeng Ekossono, T. Schubert, B. Becker, M. Kreuzer, I. Polian. "Small scale AES toolbox: Algebraic and propositional formulas, circuit-implementations and fault equations." Proc. Conf. on Trustworthy Manufacturing and Utilization of Secure Devices, Barcelona, ES, 2016. Open Access unter upcommons.upc.edu/handle/2117/99210
- J. Horacek, M. Kreuzer and A.-S. Messeng Ekossono. "Computing boolean border bases". Proc. SC^2: Int. Workshop on Satisfiability Checking and Symbolic Computation, Timisoara, 2016.