Compacting privacy-preserving k-nearest neighbor search using logic synthesis | IEEE Conference Publication | IEEE Xplore