A metaheuristic tabu search approach for internal state reconstruction of RC4 stream cipher | IEEE Conference Publication | IEEE Xplore