Computer-Aided Tools for Synthesis and Analysis of Pseudorandom Number Generators | IEEE Conference Publication | IEEE Xplore