Linus Feiten, Matthias Sauer, Tobias Schubert, Victor Tomashevich, Ilia Polian, Bernd Becker. Formal Vulnerability Analysis of Security Components. IEEE Trans. on CAD of Integrated Circuits and Systems, 34(8):1358-1369, 2015. [doi]
Abstract is missing.