selected publications academic article Evaluating security products: formal model and requirements of a new approach. . 2019 conference paper A new approach of network simulation for data generation in evaluating security products. . 2018