Cristian Rusu Researcher Research Center for Logic, Optimization and Security (LOS) Department of Computer Science Faculty of Mathematics and Computer Science University of Bucharest