Proving hard-core predicates using list decoding | IEEE Conference Publication | IEEE Xplore