Formal verification of secure reconfigurable scan network infrastructure.

Michael A. Kochte, Rafal Baranowski, Matthias Sauer, Bernd Becker, Hans-Joachim Wunderlich

Browse the full ETS paper archive.