Using symbolic Rademacher-Walsh spectral transforms to evaluate the correlation between Boolean functions | IEEE Conference Publication | IEEE Xplore