Genetic Approximations for the Failure-Free Security Games. - Aleksandr Lenin; Jan Willemson; Anton Charnamord (GameSec, 2015)

Simple Infeasibility Certificates for Attack Trees. - Ahto Buldas; Aleksandr Lenin; Jan Willemson; Anton Charnamord (IWSEC, 2017)