Towards proving strong direct product theorems | IEEE Conference Publication | IEEE Xplore