Login / Signup
V. Provkin
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Pseudo Boolean Functions
Fault Models
Internal Nodes
Sat Solvers
Top Venues
EWDTS
AQTR
</>
Publications
</>
Anzhela Yu. Matrosova
,
V. Provkin
Applying Incompletely Specified Boolean Functions for Patch Circuit Generation.
EWDTS
(2021)
Anzhela Yu. Matrosova
,
V. Provkin
Masking Internal Node Logical Faults and Trojan Circuits Injections with Using SAT Solvers.
AQTR
(2020)
Anzhela Yu. Matrosova
,
V. Provkin
,
Ekaterina Nikolaeva
Masking Internal Node Faults and Trojan Circuits in Logical Circuits.
EWDTS
(2019)