A Lightweight Auction Framework for Spectrum Allocation with Strong Security Guarantees | IEEE Conference Publication | IEEE Xplore