Verifiable and Privacy-Preserving Ad Exchange for Smart Targeted Advertising | IEEE Conference Publication | IEEE Xplore