In the present article, we provide a complete characterization of permutations on the finite field F 4 m of shape f ϵ _ (X) : = ϵ 1 X ‾ q + 1 + ϵ 2 X ‾ q X + ϵ 3 X ‾ X q + ϵ 4 X q + 1 , definitively (where q = 2 k , Q = 2 m , m is odd, (m , k) = 1 , X ‾ = X Q). Our achievement firstly extends the very recent literature (a long series of interesting recent (2019-2022) results derived in (at least) seven articles) about the bijectivity on F Q 2 of f ϵ _ . It also gives a complete proof of the conjecture (Conjecture 19) posed in the recent literature by Li et al. (2021) [24] about the characterization of permutations f ϵ _ with 4-uniform BCT (which can be viewed, thanks to their nice cryptographic properties, as promising candidates as S-boxes to be used in designing secure block ciphers in symmetric cryptography). To derive our results about the quadrinomials f ϵ _ , we shall keep the essence of our successful approach initiated by Kim et al. in [23] by relating the problem of characterization of the bijectivity of f ϵ _ over F Q 2 to the equation X q + 1 + X + a = 0 but also by performing algebraic developments with new nature by considering some rational functions over finite fields. Besides, we shall employ novel algebraic techniques and derive new auxiliary results (some of them have their independent interest) going beyond the recent results given in [23]. Notably, we present a complete proof of the bijectivity of f ϵ _ over F Q 2 without any restriction. Specifically, our results are valid when the coefficients ϵ i (i ∈ { 1 , 2 , 3 , 4 }) lie in F Q 2 and for any value of k ≥ 1 (at the opposite of the results in [23] valid with the condition that the coefficients ϵ i (i ∈ { 1 , 2 , 3 , 4 }) lie in the finite field F Q while covering all values of k ≥ 1). Finally, we emphasize that very recently, Göloğlu has presented in (Göloğlu, 2022 [13]), an alternative novel approach providing a complete description of permutations of the form mentioned above using biprojective polynomials. [ABSTRACT FROM AUTHOR]