Verifiable M+1st-Price Auction without Manager | IEEE Conference Publication | IEEE Xplore