Analysis of formal randomness in a chaotic random number generator | IEEE Conference Publication | IEEE Xplore