Randomization and derandomization in space-bounded computation | IEEE Conference Publication | IEEE Xplore