Differentially private and strategy-proof spectrum auction with approximate revenue maximization | IEEE Conference Publication | IEEE Xplore