V. Tomashevich

# SAT for Vulnerability Analysis of Security Components

B. Becker, M. Sauer, A. Czutro, 2013 .

Run-time Soft Error Injection and Testing of a Microprocessor using FPGAs

W. Burgard, B. Becker, I. Polian, 2011 .

Formal Vulnerability Analysis of Security Components

Bernd Becker, Matthias Sauer, Ilia Polian, 2015, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Protecting cryptographic hardware against malicious attacks by nonlinear robust codes

Yaara Neumeier, Osnat Keren, Ilia Polian, 2014, 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT).