Nel corso della propria carriera, ha gareggiato sotto diversi nomi. Sembrerebbe che il suo nome originale fosse Ismail Mustafov, Ismail Huseinov o Ismail Mustafov-Huseinov e che fosse stato cambiato forzatamente in Ivailo Marinov, Ivailo Khristov o Ivailo Marinov-Khristov sotto il regime di Todor Živkov.
Marinov è stato scelto come miglior pugile bulgaro del XX secolo secondo un'indagine condotta dall'Associazione Bulgara dei Giornalisti di Pugilato[3].