Login / Signup
Dmitry Gorbatenko
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Attack Graph
Path Consistency
Constraint Solver
Temporal Constraints
Top Venues
MIPRO
</>
Publications
</>
Dmitry Gorbatenko
,
Alexander A. Semenov
,
Stepan Kochemazov
UnProVET: Using Explicit Constraint Propagation to Construct Attack Graphs.
MIPRO
(2019)