Masking Internal Node Faults and Trojan Circuits in Logical Circuits. - Anzhela Yu. Matrosova; V. Provkin; Ekaterina Nikolaeva (EWDTS, 2019)

Masking Internal Node Logical Faults and Trojan Circuits Injections with Using SAT Solvers. - Anzhela Yu. Matrosova; V. Provkin (AQTR, 2020)

Applying Incompletely Specified Boolean Functions for Patch Circuit Generation. - Anzhela Yu. Matrosova; V. Provkin (EWDTS, 2021)