Ich beschäftige mich mit der Testerzeugung und der Verifikation von Schaltkreisen unter Verwendung formaler Beweistechniken. Hierbei stehen Schaltkreise mit neuartigen Sicherungsblöcken im Fokus, die einen effektiven IP-Knowledgeschutz ermöglichen, wofür neuartige rekonfigurierbare Feldeffektransistoren (RFETs) verwendet werden. Ein zentrales Ziel meiner Arbeit besteht darin, die funktionale Äquivalenz zwischen RFET-basierten Schaltkreisen und einem klassischen CMOS-basierten (ungeschützten) Referenzschaltkreises nachzuweisen.
SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms